Preferences Dialog: fixed inconsistent label sizes in hotkeys list

wesnoth · May 7, 2018 · 26c8860 · 26c8860
1 parent 58ebc06
commit 26c8860
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/data/gui/window/preferences/02_hotkeys.cfg b/data/gui/window/preferences/02_hotkeys.cfg
@@ -177,7 +177,7 @@
 											vertical_grow = true
 											[label]
 												id = "lbl_hotkey"
-												definition = "default"
+												definition = "default_small"
 												linked_group = "hotkeys_col_hotkey"
 											[/label]
 										[/column]
@@ -188,7 +188,7 @@
 											border_size = 5
 											[label]
 												id = "lbl_is_game"
-												definition = "default"
+												definition = "default_small"
 												linked_group = "hotkeys_col_type"
 											[/label]
 										[/column]