Server/Properties/Settings.Designer.cs
changeset 47 c9e3d1389d06
parent 46 0c0ee86760ea
child 48 9039acfde091
     1.1 --- a/Server/Properties/Settings.Designer.cs	Sat Aug 30 18:45:06 2014 +0200
     1.2 +++ b/Server/Properties/Settings.Designer.cs	Sat Aug 30 19:24:47 2014 +0200
     1.3 @@ -94,5 +94,17 @@
     1.4                  this["DisplayType"] = value;
     1.5              }
     1.6          }
     1.7 +        
     1.8 +        [global::System.Configuration.UserScopedSettingAttribute()]
     1.9 +        [global::System.Diagnostics.DebuggerNonUserCodeAttribute()]
    1.10 +        [global::System.Configuration.DefaultSettingValueAttribute("100")]
    1.11 +        public int TimerInterval {
    1.12 +            get {
    1.13 +                return ((int)(this["TimerInterval"]));
    1.14 +            }
    1.15 +            set {
    1.16 +                this["TimerInterval"] = value;
    1.17 +            }
    1.18 +        }
    1.19      }
    1.20  }