diff options
| author | Paul Buetow <paul@buetow.org> | 2008-05-17 19:08:44 +0000 |
|---|---|---|
| committer | Paul Buetow <paul@buetow.org> | 2008-05-17 19:08:44 +0000 |
| commit | 8f4c26d71906f48257f532786c6103a88664010d (patch) | |
| tree | 04e7e5530809e0771cfc024165d4799a98e60b2d /sources/prefs/VSDefaultPrefs.java | |
| parent | 3fc771f72c1c7faaeddde0a6738d2003f7de4ca9 (diff) | |
introduced "Edit" JMenu
Diffstat (limited to 'sources/prefs/VSDefaultPrefs.java')
| -rw-r--r-- | sources/prefs/VSDefaultPrefs.java | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/sources/prefs/VSDefaultPrefs.java b/sources/prefs/VSDefaultPrefs.java index 476d669..07876d6 100644 --- a/sources/prefs/VSDefaultPrefs.java +++ b/sources/prefs/VSDefaultPrefs.java @@ -91,11 +91,10 @@ public class VSDefaultPrefs extends VSPrefs { initString("lang.process.clock.variance", "Uhrabweichung"); initString("lang.process.id", "PID"); initString("lang.process.new", "Neuer Prozess"); - //initString("lang.process.prob.delay", "Verzögerungswahrscheinlichkeit"); - //initString("lang.process.prob.outage", "Ausfallwahrscheinlichkeit"); initString("lang.process.time.local", "Lokale Zeit"); initString("lang.quit", "Beenden"); initString("lang.replay", "Wiederholen"); + initString("lang.process", "Prozess"); initString("lang.reset", "Reset"); initString("lang.save", "Speichern"); initString("lang.saveas", "Speichern unter"); |