From 99fa4e29da7c3fa9df012378640442b59ebd1724 Mon Sep 17 00:00:00 2001 From: Paul Buetow Date: Thu, 22 May 2008 15:48:51 +0000 Subject: Bugfix --- sources/simulator/VSSimulation.java | 9 ++++++++- sources/simulator/VSSimulatorFrame.java | 3 ++- 2 files changed, 10 insertions(+), 2 deletions(-) (limited to 'sources/simulator') diff --git a/sources/simulator/VSSimulation.java b/sources/simulator/VSSimulation.java index 4da367b..4751f4a 100644 --- a/sources/simulator/VSSimulation.java +++ b/sources/simulator/VSSimulation.java @@ -896,12 +896,19 @@ public class VSSimulation extends JPanel { /* addPanel */ localAddPanel.remove(2); } - tabbedPane.setSelectedIndex(selectedIndex); + /* Update the 'Variables tab' */ + + + /* Update the tools panel */ loggingPanel.remove(1); loggingPanel.add(createToolsPanel(), BorderLayout.SOUTH); updateUI(); } + + public VSPrefs getPrefs() { + return prefs; + } } diff --git a/sources/simulator/VSSimulatorFrame.java b/sources/simulator/VSSimulatorFrame.java index ee6f189..ea67bcf 100644 --- a/sources/simulator/VSSimulatorFrame.java +++ b/sources/simulator/VSSimulatorFrame.java @@ -161,8 +161,9 @@ public class VSSimulatorFrame extends VSFrame implements ActionListener { JMenuItem globalPrefsItem = new JMenuItem(prefs.getString("lang.prefs")); globalPrefsItem.addActionListener(new ActionListener() { public void actionPerformed(ActionEvent ae) { + VSPrefs simulationPrefs = currentSimulation.getPrefs(); new VSEditorFrame(prefs, VSSimulatorFrame.this, - new VSSimulationEditor(prefs, VSSimulatorFrame.this, + new VSSimulationEditor(simulationPrefs, VSSimulatorFrame.this, currentSimulation)); } }); -- cgit v1.2.3