diff --git a/data/gui/window/preferences/02_hotkeys.cfg b/data/gui/window/preferences/02_hotkeys.cfg index 08af08fe7857..686fde8128f2 100644 --- a/data/gui/window/preferences/02_hotkeys.cfg +++ b/data/gui/window/preferences/02_hotkeys.cfg @@ -22,7 +22,7 @@ [label] definition = "default" - label = _ "Categories:" + label = _ "Filter:" [/label] [/column] @@ -39,26 +39,9 @@ [/multimenu_button] [/column] - [/row] - - [row] - - [column] - grow_factor = 0 - border = "all" - border_size = 5 - - [label] - definition = "default" - label = _ "Filter:" - [/label] - [/column] - [column] - grow_factor = 1 border = "all" border_size = 5 - horizontal_grow = true [text_box] id = "filter"