diff options
| author | Paul Buetow <paul@buetow.org> | 2008-05-21 21:24:42 +0000 |
|---|---|---|
| committer | Paul Buetow <paul@buetow.org> | 2008-05-21 21:24:42 +0000 |
| commit | 6fd1d5c225c70677ef40ec7d76111b849e5d7d75 (patch) | |
| tree | d58f8bb0913c0d0329e1b240628ac2af0c972d6c /sources/simulator/VSSimulation.java | |
| parent | db4ae1c41883f6f78d8107429f7f4871c45f47d5 (diff) | |
JTable editor done?!? :)
Diffstat (limited to 'sources/simulator/VSSimulation.java')
| -rw-r--r-- | sources/simulator/VSSimulation.java | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/sources/simulator/VSSimulation.java b/sources/simulator/VSSimulation.java index 9c9bf81..d2cc070 100644 --- a/sources/simulator/VSSimulation.java +++ b/sources/simulator/VSSimulation.java @@ -854,15 +854,15 @@ public class VSSimulation extends JPanel { public void updateFromPrefs() { splitPaneH.setDividerLocation( - prefs.getInteger("window.splitsize")); + prefs.getInteger("div.window.splitsize")); splitPaneV.setDividerLocation( - prefs.getInteger("window.ysize") - - prefs.getInteger("window.loggsize")); + prefs.getInteger("div.window.ysize") + - prefs.getInteger("div.window.loggsize")); splitPane1.setDividerLocation((int) (getPaintSize()/2) - 20); - simulationCanvas.setBackground(prefs.getColor("paintarea.background")); + simulationCanvas.setBackground(prefs.getColor("col.background")); simulationCanvas.updateFromPrefs(); } } |
