diff options
Diffstat (limited to 'sources/simulator')
| -rw-r--r-- | sources/simulator/VSSimulation.java | 9 | ||||
| -rw-r--r-- | sources/simulator/VSSimulatorFrame.java | 3 |
2 files changed, 10 insertions, 2 deletions
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)); } }); |