Changeset 2180


Ignore:
Timestamp:
Dec 6, 2010, 2:49:28 PM (11 years ago)
Author:
kopal
Message:
Location:
trunk/CrypPlugins/WorkspaceManager
Files:
4 edited

Legend:

Unmodified
Added
Removed
  • trunk/CrypPlugins/WorkspaceManager/Properties/Settings.Designer.cs

    r1892 r2180  
    11//------------------------------------------------------------------------------
    22// <auto-generated>
    3 //     This code was generated by a tool.
    4 //     Runtime Version:4.0.30319.1
     3//     Dieser Code wurde von einem Tool generiert.
     4//     Laufzeitversion:4.0.30319.1
    55//
    6 //     Changes to this file may cause incorrect behavior and will be lost if
    7 //     the code is regenerated.
     6//     Änderungen an dieser Datei können falsches Verhalten verursachen und gehen verloren, wenn
     7//     der Code erneut generiert wird.
    88// </auto-generated>
    99//------------------------------------------------------------------------------
     
    5656            }
    5757        }
     58       
     59        [global::System.Configuration.UserScopedSettingAttribute()]
     60        [global::System.Diagnostics.DebuggerNonUserCodeAttribute()]
     61        [global::System.Configuration.DefaultSettingValueAttribute("100")]
     62        public string GuiUpdateInterval {
     63            get {
     64                return ((string)(this["GuiUpdateInterval"]));
     65            }
     66            set {
     67                this["GuiUpdateInterval"] = value;
     68            }
     69        }
     70       
     71        [global::System.Configuration.UserScopedSettingAttribute()]
     72        [global::System.Diagnostics.DebuggerNonUserCodeAttribute()]
     73        [global::System.Configuration.DefaultSettingValueAttribute("0")]
     74        public string SleepTime {
     75            get {
     76                return ((string)(this["SleepTime"]));
     77            }
     78            set {
     79                this["SleepTime"] = value;
     80            }
     81        }
     82       
     83        [global::System.Configuration.UserScopedSettingAttribute()]
     84        [global::System.Diagnostics.DebuggerNonUserCodeAttribute()]
     85        [global::System.Configuration.DefaultSettingValueAttribute("1")]
     86        public string Threads {
     87            get {
     88                return ((string)(this["Threads"]));
     89            }
     90            set {
     91                this["Threads"] = value;
     92            }
     93        }
     94       
     95        [global::System.Configuration.UserScopedSettingAttribute()]
     96        [global::System.Diagnostics.DebuggerNonUserCodeAttribute()]
     97        [global::System.Configuration.DefaultSettingValueAttribute("4")]
     98        public int ThreadPriority {
     99            get {
     100                return ((int)(this["ThreadPriority"]));
     101            }
     102            set {
     103                this["ThreadPriority"] = value;
     104            }
     105        }
     106       
     107        [global::System.Configuration.UserScopedSettingAttribute()]
     108        [global::System.Diagnostics.DebuggerNonUserCodeAttribute()]
     109        [global::System.Configuration.DefaultSettingValueAttribute("False")]
     110        public bool BenchmarkPlugins {
     111            get {
     112                return ((bool)(this["BenchmarkPlugins"]));
     113            }
     114            set {
     115                this["BenchmarkPlugins"] = value;
     116            }
     117        }
     118       
     119        [global::System.Configuration.UserScopedSettingAttribute()]
     120        [global::System.Diagnostics.DebuggerNonUserCodeAttribute()]
     121        [global::System.Configuration.DefaultSettingValueAttribute("False")]
     122        public bool SynchronousEvents {
     123            get {
     124                return ((bool)(this["SynchronousEvents"]));
     125            }
     126            set {
     127                this["SynchronousEvents"] = value;
     128            }
     129        }
     130       
     131        [global::System.Configuration.UserScopedSettingAttribute()]
     132        [global::System.Diagnostics.DebuggerNonUserCodeAttribute()]
     133        [global::System.Configuration.DefaultSettingValueAttribute("0")]
     134        public int LogLevel {
     135            get {
     136                return ((int)(this["LogLevel"]));
     137            }
     138            set {
     139                this["LogLevel"] = value;
     140            }
     141        }
    58142    }
    59143}
  • trunk/CrypPlugins/WorkspaceManager/Properties/Settings.settings

    r1892 r2180  
    1212      <Value Profile="(Default)">1</Value>
    1313    </Setting>
     14    <Setting Name="GuiUpdateInterval" Type="System.String" Scope="User">
     15      <Value Profile="(Default)">100</Value>
     16    </Setting>
     17    <Setting Name="SleepTime" Type="System.String" Scope="User">
     18      <Value Profile="(Default)">0</Value>
     19    </Setting>
     20    <Setting Name="Threads" Type="System.String" Scope="User">
     21      <Value Profile="(Default)">1</Value>
     22    </Setting>
     23    <Setting Name="ThreadPriority" Type="System.Int32" Scope="User">
     24      <Value Profile="(Default)">4</Value>
     25    </Setting>
     26    <Setting Name="BenchmarkPlugins" Type="System.Boolean" Scope="User">
     27      <Value Profile="(Default)">False</Value>
     28    </Setting>
     29    <Setting Name="SynchronousEvents" Type="System.Boolean" Scope="User">
     30      <Value Profile="(Default)">False</Value>
     31    </Setting>
     32    <Setting Name="LogLevel" Type="System.Int32" Scope="User">
     33      <Value Profile="(Default)">0</Value>
     34    </Setting>
    1435  </Settings>
    1536</SettingsFile>
  • 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            }
  • trunk/CrypPlugins/WorkspaceManager/app.config

    r1892 r2180  
    2424                <value>1</value>
    2525            </setting>
     26            <setting name="GuiUpdateInterval" serializeAs="String">
     27                <value>100</value>
     28            </setting>
     29            <setting name="SleepTime" serializeAs="String">
     30                <value>0</value>
     31            </setting>
     32            <setting name="Threads" serializeAs="String">
     33                <value>1</value>
     34            </setting>
     35            <setting name="ThreadPriority" serializeAs="String">
     36                <value>4</value>
     37            </setting>
     38            <setting name="BenchmarkPlugins" serializeAs="String">
     39                <value>False</value>
     40            </setting>
     41            <setting name="SynchronousEvents" serializeAs="String">
     42                <value>False</value>
     43            </setting>
     44            <setting name="LogLevel" serializeAs="String">
     45                <value>0</value>
     46            </setting>
    2647        </WorkspaceManager.Properties.Settings>
    2748    </userSettings>
Note: See TracChangeset for help on using the changeset viewer.