From 196d586849684e62aa9a40093f2a1ce60e1cd53f Mon Sep 17 00:00:00 2001 From: TELK Date: Tue, 23 Jul 2019 04:27:39 +0900 Subject: Feature: Town name filtering (#7621) --- src/widgets/town_widget.h | 1 + 1 file changed, 1 insertion(+) (limited to 'src/widgets') 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. -- cgit v1.2.3-54-g00ecf