1.1 --- a/GUI/UserOption.cs	Thu Aug 05 19:28:50 2010 +0000
     1.2 +++ b/GUI/UserOption.cs	Sun Aug 08 13:57:26 2010 +0000
     1.3 @@ -46,13 +46,15 @@
     1.4      private bool value;
     1.5      private MenuItem menuItem;
     1.6      private event EventHandler changed;
     1.7 +    private PersistentSettings settings;
     1.8  
     1.9      public UserOption(string name, bool value,
    1.10 -      MenuItem menuItem) {
    1.11 +      MenuItem menuItem, PersistentSettings settings) {
    1.12  
    1.13 +      this.settings = settings;
    1.14        this.name = name;
    1.15        if (name != null)
    1.16 -        this.value = Config.Get(name, value);
    1.17 +        this.value = settings.Get(name, value);
    1.18        else
    1.19          this.value = value;
    1.20        this.menuItem = menuItem;
    1.21 @@ -70,7 +72,7 @@
    1.22          if (this.value != value) {
    1.23            this.value = value;
    1.24            if (this.name != null)
    1.25 -            Config.Set(name, value);
    1.26 +            settings.Set(name, value);
    1.27            this.menuItem.Checked = value;
    1.28            if (changed != null)
    1.29              changed(this, null);