(svn r24632) -Feature: Add text filtering to advanced settings.

2012-10-27 15:26:17 +00:00
parent 716014c410
commit 2d550a7579
5 changed files with 164 additions and 16 deletions
--- a/src/widgets/settings_widget.h
+++ b/src/widgets/settings_widget.h
@@ -52,6 +52,7 @@ enum GameDifficultyWidgets {

 /** Widgets of the #GameSettingsWindow class. */
 enum GameSettingsWidgets {
+	WID_GS_FILTER,       ///< Text filter.
 	WID_GS_OPTIONSPANEL, ///< Panel widget containing the option lists.
 	WID_GS_SCROLLBAR,    ///< Scrollbar.
 	WID_GS_HELP_TEXT,    ///< Information area to display help text of the selected option.