Ignore:
Timestamp:
Dec 6, 2010, 2:49:28 PM (11 years ago)
Author:
kopal
Message:
File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/CrypPlugins/WorkspaceManager/WorkspaceManagerSettings.cs

    r2176 r2180  
    1010using System.Windows.Markup;
    1111using System.IO;
     12using WorkspaceManager.Properties;
    1213
    1314namespace WorkspaceManager
     
    3839        }
    3940
    40         private String guiUpdateInterval = "100";
    41         [TaskPane("GuiUpdateInterval", "The interval the gui should be updated in miliseconds.", null, 1, false, DisplayLevel.Beginner, ControlType.TextBox)]
     41       [TaskPane("GuiUpdateInterval", "The interval the gui should be updated in miliseconds.", null, 1, false, DisplayLevel.Beginner, ControlType.TextBox)]
    4242        public String GuiUpdateInterval
    4343        {
    4444            get
    4545            {
    46                 return guiUpdateInterval;
     46                return Settings.Default.GuiUpdateInterval;
    4747            }
    4848            set
    4949            {
    50                 guiUpdateInterval = value;
     50                Settings.Default.GuiUpdateInterval = value;
     51                Settings.Default.Save();
    5152                OnPropertyChanged("GuiUpdateInterval");
    5253            }
    5354        }
    5455
    55         private String sleepTime = "0";
    5656        [TaskPane("SleepTime", "The time which the execution will sleep after executing a plugin.", null, 1, false, DisplayLevel.Beginner, ControlType.TextBox)]
    5757        public String SleepTime
     
    5959            get
    6060            {
    61                 return sleepTime;
     61                return Settings.Default.SleepTime;
    6262            }
    6363            set
    6464            {
    65                 sleepTime = value;
     65                Settings.Default.SleepTime = value;
     66                Settings.Default.Save();
    6667                OnPropertyChanged("SleepTime");
    6768            }
    6869        }
    6970
    70         private String threads = "0";
    7171        [TaskPane("Threads", "The amount of used threads for scheduling.", null, 1, false, DisplayLevel.Beginner, ControlType.TextBox)]
    7272        public String Threads
     
    7474            get
    7575            {
    76                 return threads;
     76                return Settings.Default.Threads;
    7777            }
    7878            set
    7979            {
    80                 threads = value;
     80                Settings.Default.Threads = value;
     81                Settings.Default.Save();
    8182                OnPropertyChanged("Threads");
    8283            }
    8384        }
    8485
    85         private int threadPriority = 4;
    8686        [TaskPane("ThreadPriority", "Should the event handling be synchronous?", null, 1, false, DisplayLevel.Beginner, ControlType.ComboBox, new String[] { "AboveNormal", "BelowNormal", "Highest", "Lowest", "Normal" })]
    8787        public int ThreadPriority
     
    8989            get
    9090            {
    91                 return threadPriority;
     91                return Settings.Default.ThreadPriority;
    9292            }
    9393            set
    9494            {
    95                 threadPriority = value;
     95                Settings.Default.ThreadPriority = value;
     96                Settings.Default.Save();
    9697                OnPropertyChanged("ThreadPriority");
    9798            }
    9899        } 
    99100
    100         private bool benchmarkPlugins = false;
    101101        [TaskPane("BenchmarkPlugins", "Should the WorkspaceManager benchmark the amount of executed plugins per second?", null, 1, false, DisplayLevel.Beginner, ControlType.CheckBox)]
    102102        public bool BenchmarkPlugins
     
    104104            get
    105105            {
    106                 return benchmarkPlugins;
     106                return Settings.Default.BenchmarkPlugins;
    107107            }
    108108            set
    109109            {
    110                 benchmarkPlugins = value;
     110                Settings.Default.BenchmarkPlugins = value;
     111                Settings.Default.Save();
    111112                OnPropertyChanged("BenchmarkPlugins");
    112113            }
    113114        }
    114115
    115         private bool synchronousEvents = false;
    116116        [TaskPane("SynchronousEvents", "Should the event handling be synchronous?", null, 1, false, DisplayLevel.Beginner, ControlType.CheckBox)]
    117117        public bool SynchronousEvents
     
    119119            get
    120120            {
    121                 return synchronousEvents;
     121                return Settings.Default.SynchronousEvents;
    122122            }
    123123            set
    124124            {
    125                 synchronousEvents = value;
     125                Settings.Default.SynchronousEvents = value;
     126                Settings.Default.Save();
    126127                OnPropertyChanged("SynchronousEvents");
    127128            }
    128129        }
    129130
    130         private int logLevel = 0;
    131131        [TaskPane("LogLevel", "Should the event handling be synchronous?", null, 1, false, DisplayLevel.Beginner, ControlType.ComboBox, new string[] { "Debug", "Info", "Warning", "Error"})]
    132132        public int LogLevel
     
    134134            get
    135135            {
    136                 return logLevel;
     136                return Settings.Default.LogLevel;
    137137            }
    138138            set
    139139            {
    140                 logLevel = value;
     140                Settings.Default.LogLevel = value;
     141                Settings.Default.Save();
    141142                OnPropertyChanged("LogLevel");
    142143            }
Note: See TracChangeset for help on using the changeset viewer.