Feature: Town name filtering (#7621)

2019-07-23 04:27:39 +09:00
parent d71a7c21da
commit 196d586849
5 changed files with 63 additions and 9 deletions
--- a/src/script/api/script_window.hpp
+++ b/src/script/api/script_window.hpp
@@ -2486,6 +2486,7 @@ public:
 	enum TownDirectoryWidgets {
 		WID_TD_SORT_ORDER                            = ::WID_TD_SORT_ORDER,                            ///< Direction of sort dropdown.
 		WID_TD_SORT_CRITERIA                         = ::WID_TD_SORT_CRITERIA,                         ///< Criteria of sort dropdown.
+		WID_TD_FILTER                                = ::WID_TD_FILTER,                                ///< Filter of name.
 		WID_TD_LIST                                  = ::WID_TD_LIST,                                  ///< List of towns.
 		WID_TD_SCROLLBAR                             = ::WID_TD_SCROLLBAR,                             ///< Scrollbar for the town list.
 		WID_TD_WORLD_POPULATION                      = ::WID_TD_WORLD_POPULATION,                      ///< The world's population.