diff options
Diffstat (limited to 'sources')
| -rw-r--r-- | sources/prefs/VSDefaultPrefs.java | 1 | ||||
| -rw-r--r-- | sources/simulator/VSSimulatorCanvas.java | 14 |
2 files changed, 10 insertions, 5 deletions
diff --git a/sources/prefs/VSDefaultPrefs.java b/sources/prefs/VSDefaultPrefs.java index 88b6a2a..8e38b53 100644 --- a/sources/prefs/VSDefaultPrefs.java +++ b/sources/prefs/VSDefaultPrefs.java @@ -173,6 +173,7 @@ public class VSDefaultPrefs extends VSPrefs { initString("lang.time.lamport", "Lamportzeit"); initString("lang.time.vector", "Vektorzeit"); initString("lang.process.selected", "Aktuell ausgewählter Prozess"); + initString("lang.process.not.selected", "Kein Prozess ausgewählt"); initString("lang.timed.global", "Globale Ereignisse"); initString("lang.timed.local", "Lokale Ereignisse"); initString("lang.type", "Typ"); diff --git a/sources/simulator/VSSimulatorCanvas.java b/sources/simulator/VSSimulatorCanvas.java index 688f845..5480d13 100644 --- a/sources/simulator/VSSimulatorCanvas.java +++ b/sources/simulator/VSSimulatorCanvas.java @@ -556,14 +556,18 @@ public class VSSimulatorCanvas extends Canvas JPopupMenu popup = new JPopupMenu(); JMenuItem item = null; - if (process != null) { + + if (process != null) item = new JMenuItem( finalPrefs.getString("lang.process.selected") + ": " + process.getProcessID()); - item.setEnabled(false); - popup.add(item); - popup.addSeparator(); - } + else + item = new JMenuItem( + finalPrefs.getString("lang.process.not.selected")); + + item.setEnabled(false); + popup.add(item); + popup.addSeparator(); item = new JMenuItem( finalPrefs.getString("lang.process.edit")); |