Change: Use standard dimensions instead of custom widths.

2022-09-27 23:40:16 +01:00
parent 9666e46739
commit 920e588334
8 changed files with 22 additions and 30 deletions
--- a/src/settings_gui.cpp
+++ b/src/settings_gui.cpp
@@ -789,7 +789,6 @@ void ShowGameOptions()
 }

 static int SETTING_HEIGHT = 11;    ///< Height of a single setting in the tree view in pixels
-static const int LEVEL_WIDTH = 15; ///< Indenting width of a sub-page in pixels

 /**
 * Flags for #SettingEntry