From d0a6bcb2d758dc488013edc16b3280a0fb2a6a71 Mon Sep 17 00:00:00 2001
From: Paul Buetow <paul@buetow.org>
Date: Sat, 14 Jun 2008 02:42:02 +0000
Subject: deserialized processes always open with 'All processes' tab.

---
 sources/prefs/VSDefaultPrefs.java | 4 ++++
 1 file changed, 4 insertions(+)

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

diff --git a/sources/prefs/VSDefaultPrefs.java b/sources/prefs/VSDefaultPrefs.java
index 988aad8..88b6a2a 100644
--- a/sources/prefs/VSDefaultPrefs.java
+++ b/sources/prefs/VSDefaultPrefs.java
@@ -94,6 +94,9 @@ public class VSDefaultPrefs extends VSPrefs {
         initString("lang.edit", "Editieren");
         initString("lang.editor", "Editor");
         initString("lang.event", "Ereignis");
+        initString("lang.event.add.time", "bei");
+        initString("lang.event.add.local", "Lokales Ereignis einfügen");
+        initString("lang.event.add.global", "Globales Ereignis einfügen");
         initString("lang.events", "Ereignisse");
         initString("lang.events.process", "Prozessereignisse");
         //initString("lang.events.protocol", "Protokollereignisse");
@@ -169,6 +172,7 @@ public class VSDefaultPrefs extends VSPrefs {
         initString("lang.time", "Zeit");
         initString("lang.time.lamport", "Lamportzeit");
         initString("lang.time.vector", "Vektorzeit");
+        initString("lang.process.selected", "Aktuell ausgewählter Prozess");
         initString("lang.timed.global", "Globale Ereignisse");
         initString("lang.timed.local", "Lokale Ereignisse");
         initString("lang.type", "Typ");
-- 
cgit v1.2.3