Server/Properties/Settings.Designer.cs
changeset 234 0c75dec19d39
parent 233 2b9541e54f7d
child 235 ba14a29944c4
     1.1 --- a/Server/Properties/Settings.Designer.cs	Mon Aug 15 12:11:26 2016 +0200
     1.2 +++ b/Server/Properties/Settings.Designer.cs	Tue Aug 16 12:25:20 2016 +0200
     1.3 @@ -156,9 +156,9 @@
     1.4          
     1.5          [global::System.Configuration.UserScopedSettingAttribute()]
     1.6          [global::System.Diagnostics.DebuggerNonUserCodeAttribute()]
     1.7 -        public global::SharpLib.Ear.ManagerEventAction Events {
     1.8 +        public global::SharpLib.Ear.Manager Events {
     1.9              get {
    1.10 -                return ((global::SharpLib.Ear.ManagerEventAction)(this["Events"]));
    1.11 +                return ((global::SharpLib.Ear.Manager)(this["Events"]));
    1.12              }
    1.13              set {
    1.14                  this["Events"] = value;