Bugfix

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));
             }
         });