From 8ae434c63e6382a8cb850551d947285f5fcb3c25 Mon Sep 17 00:00:00 2001 From: Paul Buetow Date: Mon, 4 Aug 2008 20:44:54 +0000 Subject: restructured stuff --- sources/prefs/VSDefaultPrefs.java | 2 ++ 1 file changed, 2 insertions(+) (limited to 'sources/prefs/VSDefaultPrefs.java') diff --git a/sources/prefs/VSDefaultPrefs.java b/sources/prefs/VSDefaultPrefs.java index afd79de..3865947 100644 --- a/sources/prefs/VSDefaultPrefs.java +++ b/sources/prefs/VSDefaultPrefs.java @@ -274,5 +274,7 @@ public class VSDefaultPrefs extends VSPrefs { initBoolean("sim.message.prob.mean", true, "Mittelwerte der Nachrichtverlustw'k. bilden"); initBoolean("sim.messages.relevant", true, "Nur relevante Nachrichten anzeigen"); initBoolean("sim.periodic", false, "Simulation periodisch wiederholen"); + initBoolean("sim.update.lamporttime.all", false, "Lamportzeiten betreffen alle Ereignisse"); + initBoolean("sim.update.vectortime.all", false, "Vektorzeiten betreffen alle Ereignisse"); } } -- cgit v1.2.3