diff options
Diffstat (limited to 'sources/prefs/VSDefaultPrefs.java')
| -rw-r--r-- | sources/prefs/VSDefaultPrefs.java | 1 |
1 files changed, 1 insertions, 0 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"); |