diff options
| author | Paul Buetow <paul@buetow.org> | 2008-05-18 01:22:57 +0000 |
|---|---|---|
| committer | Paul Buetow <paul@buetow.org> | 2008-05-18 01:22:57 +0000 |
| commit | efe41ac4240c4e12a0cada829575b43378d22823 (patch) | |
| tree | 7c274650daecd75847f7aca78b3d5efa8b10474b /sources/prefs/VSDefaultPrefs.java | |
| parent | 15450c42d04e15322a6328037011e3726427e9a4 (diff) | |
Layout for the Process Quick Panel done.
Diffstat (limited to 'sources/prefs/VSDefaultPrefs.java')
| -rw-r--r-- | sources/prefs/VSDefaultPrefs.java | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/sources/prefs/VSDefaultPrefs.java b/sources/prefs/VSDefaultPrefs.java index a41c659..325efef 100644 --- a/sources/prefs/VSDefaultPrefs.java +++ b/sources/prefs/VSDefaultPrefs.java @@ -45,6 +45,8 @@ public class VSDefaultPrefs extends VSPrefs { initString("lang.activated", "Aktiviert"); initString("lang.actualize", "Aktualisieren"); initString("lang.cancel", "Abbrechen"); + initString("lang.global", "Global"); + initString("lang.local", "Lokal"); initString("lang.client", "Client"); initString("lang.close", "Schliessen"); initString("lang.colorchooser", "Farbauswahl"); @@ -105,9 +107,11 @@ public class VSDefaultPrefs extends VSPrefs { initString("lang.start", "Starten"); initString("lang.stop", "Stoppen"); initString("lang.takeover", "Übernehmen"); + initString("lang.task", "Task"); initString("lang.taskmanager", "Taskmanager"); initString("lang.time.lamport", "Lamportzeit"); initString("lang.time.vector", "Vektorzeit"); + initString("lang.time", "Zeit"); initString("lang.type", "Typ"); initString("name", "Verteilte Systeme v0.2-devel"); } @@ -146,7 +150,7 @@ public class VSDefaultPrefs extends VSPrefs { initIntegerUnit("window.prefs.xsize", 350, "X-Grösse des Einstellungsfensters", 550, 3200, "px"); initIntegerUnit("window.prefs.ysize", 600, "Y-Grösse des Einstellungsfensters", 640, 2400, "px"); initIntegerUnit("window.loggsize", 300, "Y-Grösse des Loggingfensters", 100, 1000, "px"); - initIntegerUnit("window.splitsize", 180, null, 100, 1000, "px"); + initIntegerUnit("window.splitsize", 225, null, 100, 1000, "px"); initIntegerUnit("window.xsize", 1024, "X-Grösse des Hauptfensters", 800, 3200, "px"); initIntegerUnit("window.ysize", 768, "Y-Grösse des Hauptfensters", 600, 2400, "px"); } |
