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 /sources/prefs/VSDefaultPrefs.java | |
| parent | 9a03a3dd9ce5cc9a0172b15ff92231e1b6c499c7 (diff) | |
Added a new text.
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"); |