diff options
| author | Paul Buetow <paul@buetow.org> | 2008-06-14 18:12:04 +0000 |
|---|---|---|
| committer | Paul Buetow <paul@buetow.org> | 2008-06-14 18:12:04 +0000 |
| commit | aae6dc9edffd1838222866a8c299639d0425b9c3 (patch) | |
| tree | aee6ec8513cd9ad89b2d6f8e9956d04275cca1d3 | |
| parent | 9a03a3dd9ce5cc9a0172b15ff92231e1b6c499c7 (diff) | |
Added a new text.
| -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")); |