diff options
| author | TELK <telk5093@gmail.com> | 2019-07-23 04:27:39 +0900 |
|---|---|---|
| committer | Charles Pigott <charlespigott@googlemail.com> | 2019-07-22 20:27:39 +0100 |
| commit | 196d586849684e62aa9a40093f2a1ce60e1cd53f (patch) | |
| tree | 519f846ac8a112571e46127fed937aa5008e5699 /src/widgets | |
| parent | d71a7c21da27e5f99e48b8ad21b669d078932e35 (diff) | |
| download | openttd-196d586849684e62aa9a40093f2a1ce60e1cd53f.tar.xz | |
Feature: Town name filtering (#7621)
Diffstat (limited to 'src/widgets')
| -rw-r--r-- | src/widgets/town_widget.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/widgets/town_widget.h b/src/widgets/town_widget.h index 2559423ce..e5ac66184 100644 --- a/src/widgets/town_widget.h +++ b/src/widgets/town_widget.h @@ -16,6 +16,7 @@ enum TownDirectoryWidgets { WID_TD_SORT_ORDER, ///< Direction of sort dropdown. WID_TD_SORT_CRITERIA, ///< Criteria of sort dropdown. + WID_TD_FILTER, ///< Filter of name. WID_TD_LIST, ///< List of towns. WID_TD_SCROLLBAR, ///< Scrollbar for the town list. WID_TD_WORLD_POPULATION, ///< The world's population. |