From 3d3dd22f3cf426f357ae6e729323fbbf0cd6a633 Mon Sep 17 00:00:00 2001
From: Doublestrike <doublestrike@cardforge.org>
Date: Tue, 17 Jan 2012 04:09:30 +0000
Subject: [PATCH] Fixed "scale larger" setting to work on-the-fly (no reset
 required).

---
 .../forge/control/home/ControlSettings.java   | 25 +++----------------
 1 file changed, 4 insertions(+), 21 deletions(-)

diff --git a/src/main/java/forge/control/home/ControlSettings.java b/src/main/java/forge/control/home/ControlSettings.java
index 0a0a6ef990b..7372acf3996 100644
--- a/src/main/java/forge/control/home/ControlSettings.java
+++ b/src/main/java/forge/control/home/ControlSettings.java
@@ -9,6 +9,7 @@ import javax.swing.event.ListSelectionListener;
 
 import forge.AllZone;
 import forge.Constant;
+import forge.ImageCache;
 import forge.Singletons;
 import forge.properties.ForgePreferences;
 import forge.properties.ForgePreferences.CardSizeType;
@@ -56,7 +57,7 @@ public class ControlSettings {
             @Override
             public void actionPerformed(final ActionEvent arg0) {
                 final boolean toggle = ControlSettings.this.view.getCbAnte().isSelected();
-                Singletons.getModel().getPreferences().setPlayForAnte(toggle);
+                prefs.setPlayForAnte(toggle);
                 try { prefs.save(); } catch (Exception e) { e.printStackTrace(); }
             }
         });
@@ -66,6 +67,7 @@ public class ControlSettings {
             public void actionPerformed(final ActionEvent arg0) {
                 final boolean toggle = ControlSettings.this.view.getCbScaleLarger().isSelected();
                 prefs.setScaleLargerThanOriginal(toggle);
+                ImageCache.setScaleLargerThanOriginal(toggle);
                 try { prefs.save(); } catch (Exception e) { e.printStackTrace(); }
             }
         });
@@ -154,22 +156,12 @@ public class ControlSettings {
         prefs.setSkin(name);
         AllZone.setSkin(skin);
         ((GuiTopLevel) AllZone.getDisplay()).getController().changeState(0);
-        // This should work, but it doesn't. :|  Doublestrike 15-12-11
+        // TODO This should work, but it doesn't. :|  Doublestrike 15-12-11
         view.getParentView().showSettingsMenu();
 
         prefs.save();
     }
 
-    /** @param rad0 &emsp; JRadioButton
-     * @throws Exception */
-    /*
-    public void updateStackOffset(JRadioButton rad0) throws Exception {
-        StackOffsetType sot = StackOffsetType.valueOf(rad0.getText().toLowerCase());
-        Singletons.getModel().getPreferences().setStackOffset(sot);
-        prefs.save();
-    }
-    */
-
     /** @param rad0 &emsp; JRadioButton
      * @throws Exception */
     public void updateCardSize(JRadioButton rad0) throws Exception {
@@ -177,13 +169,4 @@ public class ControlSettings {
         Singletons.getModel().getPreferences().setCardSize(cst);
         prefs.save();
     }
-
-    /** @param rad0 &emsp; JRadioButton
-     * @throws Exception */
-    /*
-    public void updateStackSize(JRadioButton rad0) throws Exception {
-        Singletons.getModel().getPreferences().setMaxStackSize(Integer.parseInt(rad0.getText()));
-        prefs.save();
-    }
-    */
 }