Dont reset the divider locations if prefs have been changed.

1 files changed, 9 insertions, 9 deletions

diff --git a/sources/simulator/VSSimulation.java b/sources/simulator/VSSimulation.java
index 799acd6..31a8d61 100644
--- a/sources/simulator/VSSimulation.java
+++ b/sources/simulator/VSSimulation.java
@@ -112,6 +112,15 @@ public class VSSimulation extends JPanel {
         logging.logg(prefs.getString("lang.simulation.new"));
         fillContentPane();
         updateFromPrefs();
+        splitPaneH.setDividerLocation(
+            prefs.getInteger("div.window.splitsize"));
+
+        splitPaneV.setDividerLocation(
+            prefs.getInteger("div.window.ysize")
+            - prefs.getInteger("div.window.loggsize"));
+
+        splitPane1.setDividerLocation((int) (getPaintSize()/2) - 20);
+
 
         int numProcesses = simulationCanvas.getNumProcesses();
 
@@ -877,15 +886,6 @@ public class VSSimulation extends JPanel {
     }
 
     public void updateFromPrefs() {
-        splitPaneH.setDividerLocation(
-            prefs.getInteger("div.window.splitsize"));
-
-        splitPaneV.setDividerLocation(
-            prefs.getInteger("div.window.ysize")
-            - prefs.getInteger("div.window.loggsize"));
-
-        splitPane1.setDividerLocation((int) (getPaintSize()/2) - 20);
-
         simulationCanvas.setBackground(prefs.getColor("col.background"));
         simulationCanvas.updateFromPrefs();
     }