From d1a1bcbccff73925b7667c50f2cc538074bf7107 Mon Sep 17 00:00:00 2001
From: Paul Buetow <paul@buetow.org>
Date: Sat, 14 Jun 2008 00:08:44 +0000
Subject: while deserialization the VSDefaultPrefs will set non-set values.

---
 sources/serialize/VSSerialize.java | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'sources/serialize/VSSerialize.java')

diff --git a/sources/serialize/VSSerialize.java b/sources/serialize/VSSerialize.java
index d70c582..8924beb 100644
--- a/sources/serialize/VSSerialize.java
+++ b/sources/serialize/VSSerialize.java
@@ -227,8 +227,9 @@ public final class VSSerialize {
             ObjectInputStream objectInputStream =
                 new ObjectInputStream(fileInputStream);
 
-            VSPrefs prefs = new VSPrefs();
+            VSDefaultPrefs prefs = new VSDefaultPrefs();
             prefs.deserialize(this, objectInputStream);
+			prefs.addWithDefaults();
             this.setObject("prefs", prefs);
 
             simulator = new VSSimulator(prefs, simulatorFrame);
-- 
cgit v1.2.3