diff options
| author | Paul Buetow <paul@buetow.org> | 2008-08-04 20:44:54 +0000 |
|---|---|---|
| committer | Paul Buetow <paul@buetow.org> | 2008-08-04 20:44:54 +0000 |
| commit | 8ae434c63e6382a8cb850551d947285f5fcb3c25 (patch) | |
| tree | 751b0b24cd86768d57e9338cf0718485f68a095e /sources/prefs/VSDefaultPrefs.java | |
| parent | bb4eb6634485d05e9e8cff6497c60ef696a28eeb (diff) | |
restructured stuff
Diffstat (limited to 'sources/prefs/VSDefaultPrefs.java')
| -rw-r--r-- | sources/prefs/VSDefaultPrefs.java | 2 |
1 files changed, 2 insertions, 0 deletions
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"); } } |