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

Last change on this file since 1680 was 1680, checked in by kopal, 12 years ago
  • Execution now is always triggered when one input changed and provides also old inputs
  • Added support for dynamic Connectors
  • some small bug fixing
File size: 1.9 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 bool benchmarkPlugins = false;
43        [TaskPane("BenchmarkPlugins", "Should the WorkspaceManager benchmark the amount of executed plugins per second?", null, 1, false, DisplayLevel.Beginner, ControlType.CheckBox)]
44        public bool BenchmarkPlugins
45        {
46            get
47            {
48                return benchmarkPlugins;
49            }
50            set
51            {
52                benchmarkPlugins = value;
53                OnPropertyChanged("BenchmarkPlugins");
54            }
55        }
56
57        #endregion
58
59        #region INotifyPropertyChanged Members
60
61        public event System.ComponentModel.PropertyChangedEventHandler PropertyChanged;
62       
63        private void OnPropertyChanged(string p)
64        {
65            if (PropertyChanged != null)
66                PropertyChanged(this, new PropertyChangedEventArgs(p));
67        }
68
69        #endregion
70    }
71}
Note: See TracBrowser for help on using the repository browser.