Support compact tabs via setting

2025-11-19 04:08:01 +00:00 · 2014-10-03 19:06:32 +00:00
parent fe33235f08
commit ce043302db
4 changed files with 93 additions and 26 deletions
--- a/forge-gui/src/main/java/forge/properties/ForgePreferences.java
+++ b/forge-gui/src/main/java/forge/properties/ForgePreferences.java
@@ -53,6 +53,7 @@ public class ForgePreferences extends PreferencesStore<ForgePreferences.FPref> {
        UI_LARGE_CARD_VIEWERS ("false"),
        UI_RANDOM_ART_IN_POOLS ("true"),
        UI_COMPACT_PROMPT ("false"),
+        UI_COMPACT_TABS ("false"),
        UI_COMPACT_LIST_ITEMS ("false"),
        UI_CARD_SIZE ("small"),
        UI_BUGZ_NAME (""),