From 8f4c26d71906f48257f532786c6103a88664010d Mon Sep 17 00:00:00 2001
From: Paul Buetow <paul@buetow.org>
Date: Sat, 17 May 2008 19:08:44 +0000
Subject: introduced "Edit" JMenu

---
 sources/prefs/VSDefaultPrefs.java | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'sources/prefs/VSDefaultPrefs.java')

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");
-- 
cgit v1.2.3