diff options
| author | Paul Buetow <paul@buetow.org> | 2008-05-22 15:14:34 +0000 |
|---|---|---|
| committer | Paul Buetow <paul@buetow.org> | 2008-05-22 15:14:34 +0000 |
| commit | f7b023c5cff7dae854a015889bd217f3b84f6e07 (patch) | |
| tree | 7e8767e18803da4928afad0f50760ba1efd2524d /sources/simulator/VSSimulatorFrame.java | |
| parent | 4de5343c60cc165cdf30121e0ed9eca96ac91a22 (diff) | |
Expert mode changable.
Diffstat (limited to 'sources/simulator/VSSimulatorFrame.java')
| -rw-r--r-- | sources/simulator/VSSimulatorFrame.java | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/sources/simulator/VSSimulatorFrame.java b/sources/simulator/VSSimulatorFrame.java index f0a0fea..ee6f189 100644 --- a/sources/simulator/VSSimulatorFrame.java +++ b/sources/simulator/VSSimulatorFrame.java @@ -140,7 +140,7 @@ public class VSSimulatorFrame extends VSFrame implements ActionListener { private Container createContentPane() { Container pane = getContentPane(); - tabbedPane = new JTabbedPane(JTabbedPane.TOP, JTabbedPane.SCROLL_TAB_LAYOUT); + tabbedPane = new JTabbedPane(JTabbedPane.BOTTOM, JTabbedPane.SCROLL_TAB_LAYOUT); tabbedPane.addChangeListener(new ChangeListener() { public void stateChanged(ChangeEvent ce) { JTabbedPane pane = (JTabbedPane) ce.getSource(); @@ -158,6 +158,16 @@ public class VSSimulatorFrame extends VSFrame implements ActionListener { private void updateEditMenu() { menuEdit.removeAll(); + JMenuItem globalPrefsItem = new JMenuItem(prefs.getString("lang.prefs")); + globalPrefsItem.addActionListener(new ActionListener() { + public void actionPerformed(ActionEvent ae) { + new VSEditorFrame(prefs, VSSimulatorFrame.this, + new VSSimulationEditor(prefs, VSSimulatorFrame.this, + currentSimulation)); + } + }); + menuEdit.add(globalPrefsItem); + if (currentSimulation == null) return; |
