diff options
Diffstat (limited to 'sources/prefs')
| -rw-r--r-- | sources/prefs/VSDefaultPrefs.java | 11 | ||||
| -rw-r--r-- | sources/prefs/VSPrefs.java | 7 |
2 files changed, 13 insertions, 5 deletions
diff --git a/sources/prefs/VSDefaultPrefs.java b/sources/prefs/VSDefaultPrefs.java index b985e8c..dac1b5c 100644 --- a/sources/prefs/VSDefaultPrefs.java +++ b/sources/prefs/VSDefaultPrefs.java @@ -5,11 +5,11 @@ import java.awt.event.KeyEvent; import java.io.*; public class VSDefaultPrefs extends VSPrefs { - public static VSPrefs initialize() { - return initialize(VSPrefs.PREFERENCES_FILENAME); + public static VSPrefs init() { + return init(VSPrefs.PREFERENCES_FILENAME); } - public static VSPrefs initialize(String fileName) { + public static VSPrefs init(String fileName) { File file = new File(fileName); VSPrefs prefs = null; @@ -40,7 +40,8 @@ public class VSDefaultPrefs extends VSPrefs { public void fillDefaultStrings() { /* Internal prefs */ - initString("lang.time.lamport", "Lamport"); + initString("lang.time.vector", "Vektorzeit"); + initString("lang.time.lamport", "Lamportzeit"); initString("lang.message.sent", "Nachricht versendet"); initString("lang.logging.active", "Logging"); initString("lang.message", "Nachricht"); @@ -141,7 +142,7 @@ public class VSDefaultPrefs extends VSPrefs { initIntegerUnit("window.prefs.xsize", 400, "X-Grösse des Einstellungsfensters", 550, 3200, "px"); initIntegerUnit("window.prefs.ysize", 650, "Y-Grösse des Einstellungsfensters", 640, 2400, "px"); - initIntegerUnit("window.loggsize", 350, "Y-Grösse des Loggingfensters", 100, 1000, "px"); + initIntegerUnit("window.loggsize", 300, "Y-Grösse des Loggingfensters", 100, 1000, "px"); initIntegerUnit("window.splitsize", 180, 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"); diff --git a/sources/prefs/VSPrefs.java b/sources/prefs/VSPrefs.java index 9da4808..be9aea6 100644 --- a/sources/prefs/VSPrefs.java +++ b/sources/prefs/VSPrefs.java @@ -520,6 +520,13 @@ public abstract class VSPrefs implements Serializable { descr += key + "=" + getInteger(key) + "; "; } + set = getLongKeySet(); + if (set.size() > 0) { + descr += LONG_PREFIX; + for (String key : set) + descr += key + "=" + getLong(key) + "; "; + } + set = getFloatKeySet(); if (set.size() > 0) { descr += FLOAT_PREFIX; |