source: trunk/CrypPlugins/WorkspaceManager/WorkspaceManagerSettings.cs @ 1805

Last change on this file since 1805 was 1805, checked in by kopal, 11 years ago
  • added SleepTime Settings
  • structured the ExecutionEngine for better overview
File size: 2.4 KB
Line 
1using System;
2using System.Collections.Generic;
3using System.Linq;
4using System.Text;
5using Cryptool.PluginBase;
6using System.ComponentModel;
7
8namespace WorkspaceManager
9{
10    class WorkspaceManagerSettings : ISettings
11    {
12        #region ISettings Members
13        private bool hasChanges = false;
14
15        public bool HasChanges
16        {
17            get
18            {
19                return hasChanges;
20            }
21            set
22            {
23                hasChanges = value;
24            }
25        }
26
27        private String guiUpdateInterval = "100";
28        [TaskPane("GuiUpdateInterval", "The interval the gui should be updated in miliseconds.", null, 1, false, DisplayLevel.Beginner, ControlType.TextBox)]
29        public String GuiUpdateInterval
30        {
31            get
32            {
33                return guiUpdateInterval;
34            }
35            set
36            {
37                guiUpdateInterval = value;
38                OnPropertyChanged("GuiUpdateInterval");
39            }
40        }
41
42        private String sleepTime = "0";
43        [TaskPane("SleepTime", "The time which the execution will sleep after executing a plugin.", null, 1, false, DisplayLevel.Beginner, ControlType.TextBox)]
44        public String SleepTime
45        {
46            get
47            {
48                return sleepTime;
49            }
50            set
51            {
52                sleepTime = value;
53                OnPropertyChanged("SleepTime");
54            }
55        }     
56
57
58        private bool benchmarkPlugins = false;
59        [TaskPane("BenchmarkPlugins", "Should the WorkspaceManager benchmark the amount of executed plugins per second?", null, 1, false, DisplayLevel.Beginner, ControlType.CheckBox)]
60        public bool BenchmarkPlugins
61        {
62            get
63            {
64                return benchmarkPlugins;
65            }
66            set
67            {
68                benchmarkPlugins = value;
69                OnPropertyChanged("BenchmarkPlugins");
70            }
71        }
72
73        #endregion
74
75        #region INotifyPropertyChanged Members
76
77        public event System.ComponentModel.PropertyChangedEventHandler PropertyChanged;
78       
79        private void OnPropertyChanged(string p)
80        {
81            if (PropertyChanged != null)
82                PropertyChanged(this, new PropertyChangedEventArgs(p));
83        }
84
85        #endregion
86    }
87}
Note: See TracBrowser for help on using the repository browser.