1.1 --- a/GUI/UserOption.cs	Sun Aug 08 13:57:26 2010 +0000
     1.2 +++ b/GUI/UserOption.cs	Thu Aug 12 20:53:27 2010 +0000
     1.3 @@ -54,7 +54,7 @@
     1.4        this.settings = settings;
     1.5        this.name = name;
     1.6        if (name != null)
     1.7 -        this.value = settings.Get(name, value);
     1.8 +        this.value = settings.GetValue(name, value);
     1.9        else
    1.10          this.value = value;
    1.11        this.menuItem = menuItem;
    1.12 @@ -72,7 +72,7 @@
    1.13          if (this.value != value) {
    1.14            this.value = value;
    1.15            if (this.name != null)
    1.16 -            settings.Set(name, value);
    1.17 +            settings.SetValue(name, value);
    1.18            this.menuItem.Checked = value;
    1.19            if (changed != null)
    1.20              changed(this, null);