0ct0pu5/wesnoth
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Add a textbox filter to the add-on manager.

Browse source 
But currently give some false-positive because the filter apply on icons too.
(will be fixed but already useful and not really a problem for general use)
This commit is contained in:
Ali El Gariani 2008-06-14 21:37:36 +00:00
parent a8b5ae78b8
commit 7906c126cc
1 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
src/game.cpp
View file

@ -1419,6 +1419,11 @@ void game_controller::download_addons(std::string host)
gui::menu *addon_menu = new gui::menu(disp().video(), options, false, -1,
gui::dialog::max_menu_width, &sorter, &addon_style, false);
addon_dialog.set_menu(addon_menu);
gui::filter_textbox* filter = new gui::filter_textbox(disp().video(),
_("Filter: "), options, addon_dialog, 300);
addon_dialog.set_textbox(filter);
const int index = addon_dialog.show();
if(index < 0) {
return;