source: trunk/CrypPlugins/WorkspaceManager/WorkspaceManagerSettings.cs

Last change on this file was 8983, checked in by kopal, 10 months ago

Complete CrypTool 2 project

  • renamed "Cryptool" namespace to "CrypTool" namespace
File size: 3.3 KB
Line 
1using System;
2using CrypTool.PluginBase;
3using System.ComponentModel;
4
5namespace WorkspaceManager
6{
7    class WorkspaceManagerSettings : ISettings
8    {
9        #region ISettings Members
10
11        private WorkspaceManagerClass WorkspaceManager { get; set; }
12
13        public WorkspaceManagerSettings(WorkspaceManagerClass manager)
14        {
15            WorkspaceManager = manager;
16        }
17
18        public String GuiUpdateInterval
19        {
20            get
21            {
22                return CrypTool.PluginBase.Properties.Settings.Default.WorkspaceManager_GuiUpdateInterval;
23            }
24            set
25            {
26                CrypTool.PluginBase.Properties.Settings.Default.WorkspaceManager_GuiUpdateInterval = value;
27                CrypTool.PluginBase.Properties.Settings.Default.Save();
28                OnPropertyChanged("GuiUpdateInterval");
29            }
30        }
31
32        public String SleepTime
33        {
34            get
35            {
36                return CrypTool.PluginBase.Properties.Settings.Default.WorkspaceManager_SleepTime;
37            }
38            set
39            {
40                CrypTool.PluginBase.Properties.Settings.Default.WorkspaceManager_SleepTime = value;
41                CrypTool.PluginBase.Properties.Settings.Default.Save();
42                OnPropertyChanged("SleepTime");
43            }
44        }       
45
46        public bool BenchmarkPlugins
47        {
48            get
49            {
50                return CrypTool.PluginBase.Properties.Settings.Default.WorkspaceManager_BenchmarkPlugins;
51            }
52            set
53            {
54                CrypTool.PluginBase.Properties.Settings.Default.WorkspaceManager_BenchmarkPlugins = value;
55                CrypTool.PluginBase.Properties.Settings.Default.Save();
56                OnPropertyChanged("BenchmarkPlugins");
57            }
58        }
59
60        public bool SynchronousEvents
61        {
62            get
63            {
64                return CrypTool.PluginBase.Properties.Settings.Default.WorkspaceManager_SynchronousEvents;
65            }
66            set
67            {
68                CrypTool.PluginBase.Properties.Settings.Default.WorkspaceManager_SynchronousEvents = value;
69                CrypTool.PluginBase.Properties.Settings.Default.Save();
70                OnPropertyChanged("SynchronousEvents");
71            }
72        }
73
74        public int LogLevel
75        {
76            get
77            {
78                return CrypTool.PluginBase.Properties.Settings.Default.WorkspaceManager_LogLevel;
79            }
80            set
81            {
82                CrypTool.PluginBase.Properties.Settings.Default.WorkspaceManager_LogLevel = value;
83                CrypTool.PluginBase.Properties.Settings.Default.Save();
84                OnPropertyChanged("LogLevel");
85            }
86        }
87       
88        #endregion
89
90        #region INotifyPropertyChanged Members
91
92        public event System.ComponentModel.PropertyChangedEventHandler PropertyChanged;
93        public void Initialize()
94        {
95           
96        }
97
98        private void OnPropertyChanged(string p)
99        {
100            if (PropertyChanged != null)
101                PropertyChanged(this, new PropertyChangedEventArgs(p));
102        }
103
104        #endregion
105    }
106}
Note: See TracBrowser for help on using the repository browser.