diff options
| author | Paul Buetow <paul@buetow.org> | 2026-03-27 13:11:19 +0200 |
|---|---|---|
| committer | Paul Buetow <paul@buetow.org> | 2026-03-27 13:11:19 +0200 |
| commit | 35def2831acd67ace6943e06f502a356529c3357 (patch) | |
| tree | 1a85aed55b64df33f0a9279da21c0dfd629d7f08 /src/main/java/simulator/VSSimulatorFrame.java | |
| parent | f55d67d98dddf5861dc4266564863dde4b0b6ed1 (diff) | |
Auto-open CLI simulation files on startup
Diffstat (limited to 'src/main/java/simulator/VSSimulatorFrame.java')
| -rw-r--r-- | src/main/java/simulator/VSSimulatorFrame.java | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/src/main/java/simulator/VSSimulatorFrame.java b/src/main/java/simulator/VSSimulatorFrame.java index 3cf4e91..818bea9 100644 --- a/src/main/java/simulator/VSSimulatorFrame.java +++ b/src/main/java/simulator/VSSimulatorFrame.java @@ -504,6 +504,7 @@ public class VSSimulatorFrame extends VSFrame { tabbedPane.addTab(prefs.getString("lang.simulator") + " " + simulator.getSimulatorNum(), simulator); tabbedPane.setSelectedComponent(simulator); + currentSimulator = simulator; if (simulators.size() == 1) { menuEdit.setEnabled(true); @@ -576,6 +577,9 @@ public class VSSimulatorFrame extends VSFrame { * Starts the current simulator */ public void startCurrentSimulator() { + if (currentSimulator == null) + return; + VSMenuItemStates menuItemState = currentSimulator.getMenuItemStates(); menuItemState.setStart(false); @@ -587,6 +591,23 @@ public class VSSimulatorFrame extends VSFrame { } /** + * Opens the given simulator file and starts playback if load succeeds. + * + * @param filename the simulation file to open + * + * @return the loaded simulator, or null if loading failed + */ + public VSSimulator openAndStartSimulator(String filename) { + VSSerialize serialize = new VSSerialize(); + VSSimulator simulator = serialize.openSimulator(filename, this); + + if (simulator != null) + startCurrentSimulator(); + + return simulator; + } + + /** * Pauses the current simulator */ public void pauseCurrentSimulator() { |
