nicolasayala 141928ead0 Fix gui.FilteredList widget search on plain string choices		2020-02-27 07:56:30 +01:00
..
buildings.lua	…
dialogs.lua	…
dwarfmode.lua	…
materials.lua	…
script.lua	…
widgets.lua	Fix gui.FilteredList widget search on plain string choices	2020-02-27 07:56:30 +01:00