diff options
| author | Paul Buetow <paul@buetow.org> | 2008-06-12 22:03:41 +0000 |
|---|---|---|
| committer | Paul Buetow <paul@buetow.org> | 2008-06-12 22:03:41 +0000 |
| commit | ae1e594e43bb18ca293124564c3a63e486bcc9f5 (patch) | |
| tree | 11c4023036c592a234929f9c85af8b76e514b560 /sources/simulator/VSSimulatorFrame.java | |
| parent | 64a08ca2f7f574e63c39b10f8daaf69ee0dba391 (diff) | |
fixed deadlock (probably) bug
Diffstat (limited to 'sources/simulator/VSSimulatorFrame.java')
| -rw-r--r-- | sources/simulator/VSSimulatorFrame.java | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/sources/simulator/VSSimulatorFrame.java b/sources/simulator/VSSimulatorFrame.java index caf06cb..fde7996 100644 --- a/sources/simulator/VSSimulatorFrame.java +++ b/sources/simulator/VSSimulatorFrame.java @@ -405,6 +405,7 @@ public class VSSimulatorFrame extends VSFrame { JMenuItem globalPrefsItem = new JMenuItem( prefs.getString("lang.prefs")); + globalPrefsItem.addActionListener(new ActionListener() { public void actionPerformed(ActionEvent ae) { VSPrefs simulatorPrefs = currentSimulator.getPrefs(); @@ -415,18 +416,20 @@ public class VSSimulatorFrame extends VSFrame { simulatorEditor); } }); + menuEdit.add(globalPrefsItem); menuEdit.addSeparator(); if (currentSimulator == null) return; - final String processString = prefs.getString("lang.process"); - final ArrayList<VSProcess> arr = + String processString = prefs.getString("lang.process"); + ArrayList<VSProcess> arr = currentSimulator.getSimulatorCanvas().getProcessesArray(); - final int numProcesses = arr.size(); + int numProcesses = arr.size(); int processNum = 0; + for (VSProcess process : arr) { int processID = process.getProcessID(); JMenuItem processItem = new JMenuItem(processString + " " + |