Index: Core/Common/src/Core.Common.Gui/Forms/Options/OptionsDialog.Designer.cs
===================================================================
diff -u -r00bf02e3c099d01fbdb84735d8fc64de0fb98aaa -r700ba80f40cd595e5227ab8338beb2446fe3a829
--- Core/Common/src/Core.Common.Gui/Forms/Options/OptionsDialog.Designer.cs (.../OptionsDialog.Designer.cs) (revision 00bf02e3c099d01fbdb84735d8fc64de0fb98aaa)
+++ Core/Common/src/Core.Common.Gui/Forms/Options/OptionsDialog.Designer.cs (.../OptionsDialog.Designer.cs) (revision 700ba80f40cd595e5227ab8338beb2446fe3a829)
@@ -41,8 +41,6 @@
// groupBoxUserSettings
//
resources.ApplyResources(this.groupBoxUserSettings, "groupBoxUserSettings");
- this.groupBoxUserSettings.Controls.Add(this.buttonCancel);
- this.groupBoxUserSettings.Controls.Add(this.buttonOk);
this.groupBoxUserSettings.Controls.Add(this.comboBoxTheme);
this.groupBoxUserSettings.Controls.Add(this.label1);
this.groupBoxUserSettings.Controls.Add(this.checkBoxStartPage);
@@ -92,7 +90,10 @@
resources.ApplyResources(this, "$this");
this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
this.CancelButton = this.buttonCancel;
+ this.Controls.Add(this.buttonCancel);
+ this.Controls.Add(this.buttonOk);
this.Controls.Add(this.groupBoxUserSettings);
+ this.FormBorderStyle = System.Windows.Forms.FormBorderStyle.FixedDialog;
this.MaximizeBox = false;
this.MinimizeBox = false;
this.Name = "OptionsDialog";
Index: Core/Common/src/Core.Common.Gui/Forms/Options/OptionsDialog.resx
===================================================================
diff -u -r00bf02e3c099d01fbdb84735d8fc64de0fb98aaa -r700ba80f40cd595e5227ab8338beb2446fe3a829
--- Core/Common/src/Core.Common.Gui/Forms/Options/OptionsDialog.resx (.../OptionsDialog.resx) (revision 00bf02e3c099d01fbdb84735d8fc64de0fb98aaa)
+++ Core/Common/src/Core.Common.Gui/Forms/Options/OptionsDialog.resx (.../OptionsDialog.resx) (revision 700ba80f40cd595e5227ab8338beb2446fe3a829)
@@ -118,77 +118,20 @@
System.Resources.ResXResourceWriter, System.Windows.Forms, Version=4.0.0.0, Culture=neutral, PublicKeyToken=b77a5c561934e089
+
+ Top, Bottom, Left, Right
+
GrowAndShrink
-
- Bottom, Right
-
-
- NoControl
-
-
- 386, 156
-
-
- 75, 23
-
-
-
- 10
-
-
- Annuleren
-
-
- buttonCancel
-
-
- System.Windows.Forms.Button, System.Windows.Forms, Version=4.0.0.0, Culture=neutral, PublicKeyToken=b77a5c561934e089
-
-
- groupBoxUserSettings
-
-
- 0
-
-
- Bottom, Right
-
-
- NoControl
-
-
- 305, 155
-
-
- 75, 23
-
-
- 9
-
-
- OK
-
-
- buttonOk
-
-
- System.Windows.Forms.Button, System.Windows.Forms, Version=4.0.0.0, Culture=neutral, PublicKeyToken=b77a5c561934e089
-
-
- groupBoxUserSettings
-
-
- 1
-
83, 45
86, 21
+
8
@@ -202,7 +145,7 @@
groupBoxUserSettings
- 2
+ 0
True
@@ -229,7 +172,7 @@
groupBoxUserSettings
- 3
+ 1
True
@@ -256,16 +199,13 @@
groupBoxUserSettings
- 4
+ 2
-
- Fill
-
- 0, 0
+ 6, 4
- 473, 191
+ 402, 77
0
@@ -283,8 +223,68 @@
$this
+ 2
+
+
+ Bottom, Right
+
+
+ NoControl
+
+
+ 333, 87
+
+
+ 75, 23
+
+
+ 10
+
+
+ Annuleren
+
+
+ buttonCancel
+
+
+ System.Windows.Forms.Button, System.Windows.Forms, Version=4.0.0.0, Culture=neutral, PublicKeyToken=b77a5c561934e089
+
+
+ $this
+
+
0
+
+ Bottom, Right
+
+
+ NoControl
+
+
+ 252, 86
+
+
+ 75, 23
+
+
+ 9
+
+
+ OK
+
+
+ buttonOk
+
+
+ System.Windows.Forms.Button, System.Windows.Forms, Version=4.0.0.0, Culture=neutral, PublicKeyToken=b77a5c561934e089
+
+
+ $this
+
+
+ 1
+
True
@@ -295,7 +295,7 @@
GrowAndShrink
- 473, 191
+ 414, 114