From aae6dc9edffd1838222866a8c299639d0425b9c3 Mon Sep 17 00:00:00 2001
From: Paul Buetow <paul@buetow.org>
Date: Sat, 14 Jun 2008 18:12:04 +0000
Subject: Added a new text.

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

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

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