Changeset 3768 for trunk/sources/HeuristicLab.Optimizer/3.3/Properties/Settings.Designer.cs

Timestamp:

05/11/10 14:45:25 (14 years ago)

Author:

swagner

Message:

Implemented reviewers' comments (#893)

• enhanced optimizer settings to customize appearance

File:

• trunk/sources/HeuristicLab.Optimizer/3.3/Properties/Settings.Designer.cs (modified) (2 diffs)

trunk/sources/HeuristicLab.Optimizer/3.3/Properties/Settings.Designer.cs

@@ -2 +2 @@
 // <auto-generated>
 //     This code was generated by a tool.
-//     Runtime Version:2.0.50727.4927
+//     Runtime Version:2.0.50727.4200
 //
 //     Changes to this file may cause incorrect behavior and will be lost if
@@ -59 +59 @@
             }
         }
+        
+        [global::System.Configuration.UserScopedSettingAttribute()]
+        [global::System.Diagnostics.DebuggerNonUserCodeAttribute()]
+        [global::System.Configuration.DefaultSettingValueAttribute("True")]
+        public bool ShowMaximized {
+            get {
+                return ((bool)(this["ShowMaximized"]));
+            }
+            set {
+                this["ShowMaximized"] = value;
+            }
+        }
+        
+        [global::System.Configuration.UserScopedSettingAttribute()]
+        [global::System.Diagnostics.DebuggerNonUserCodeAttribute()]
+        [global::System.Configuration.DefaultSettingValueAttribute("True")]
+        public bool CollapseClipboard {
+            get {
+                return ((bool)(this["CollapseClipboard"]));
+            }
+            set {
+                this["CollapseClipboard"] = value;
+            }
+        }
+        
+        [global::System.Configuration.UserScopedSettingAttribute()]
+        [global::System.Diagnostics.DebuggerNonUserCodeAttribute()]
+        [global::System.Configuration.DefaultSettingValueAttribute("False")]
+        public bool CollapseOperatorsSidebar {
+            get {
+                return ((bool)(this["CollapseOperatorsSidebar"]));
+            }
+            set {
+                this["CollapseOperatorsSidebar"] = value;
+            }
+        }
     }
 }