From 7c3ba76ae38e5e20bb5eeb360d24e202d4d027d5 Mon Sep 17 00:00:00 2001 From: Paul Buetow Date: Thu, 22 May 2008 23:48:31 +0000 Subject: Dont reset the divider locations if prefs have been changed. --- sources/simulator/VSSimulation.java | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) (limited to 'sources/simulator/VSSimulation.java') 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(); } -- cgit v1.2.3