Tweak preferences window resizing

ademanuele · May 3, 2020 · 689dfb3 · 689dfb3
1 parent 59516e4
commit 689dfb3
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 7 deletions.
diff --git a/VSMac-CodeCoverage/VSMac-CodeCoverage/gtk-gui/CodeCoverage.PreferencesWindow.cs b/VSMac-CodeCoverage/VSMac-CodeCoverage/gtk-gui/CodeCoverage.PreferencesWindow.cs
@@ -19,18 +19,17 @@ protected virtual void Build()
 			this.CanFocus = true;
 			this.Name = "CodeCoverage.PreferencesWindow";
 			this.Title = global::Mono.Unix.Catalog.GetString("Coverage Preferences");
-			this.WindowPosition = ((global::Gtk.WindowPosition)(4));
-			this.AllowShrink = true;
+			this.WindowPosition = ((global::Gtk.WindowPosition)(3));
 			this.DestroyWithParent = true;
 			this.Gravity = ((global::Gdk.Gravity)(5));
 			// Container child CodeCoverage.PreferencesWindow.Gtk.Container+ContainerChild
 			this.rootVBox = new global::Gtk.VBox();
 			this.rootVBox.Name = "rootVBox";
-			this.rootVBox.Spacing = 6;
 			// Container child rootVBox.Gtk.Box+BoxChild
 			this.hbox7 = new global::Gtk.HBox();
 			this.hbox7.Name = "hbox7";
 			this.hbox7.Spacing = 6;
+			this.hbox7.BorderWidth = ((uint)(4));
 			// Container child hbox7.Gtk.Box+BoxChild
 			this.button9 = new global::Gtk.Button();
 			this.button9.CanFocus = true;

diff --git a/VSMac-CodeCoverage/VSMac-CodeCoverage/gtk-gui/gui.stetic b/VSMac-CodeCoverage/VSMac-CodeCoverage/gtk-gui/gui.stetic
@@ -483,7 +483,7 @@
               </widget>
             </child>
             <child>
-              <widget class="Gtk.Label" id="GtkLabel">
+              <widget class="Gtk.Label" id="GtkLabel1">
                 <property name="MemberName" />
                 <property name="LabelProp" translatable="yes">&lt;b&gt;Margins&lt;/b&gt;</property>
                 <property name="UseMarkup">True</property>
@@ -540,21 +540,20 @@
     <property name="HeightRequest">400</property>
     <property name="CanFocus">True</property>
     <property name="Title" translatable="yes">Coverage Preferences</property>
-    <property name="WindowPosition">CenterOnParent</property>
-    <property name="AllowShrink">True</property>
+    <property name="WindowPosition">CenterAlways</property>
     <property name="DestroyWithParent">True</property>
     <property name="Gravity">Center</property>
     <child>
       <widget class="Gtk.VBox" id="rootVBox">
         <property name="MemberName" />
-        <property name="Spacing">6</property>
         <child>
           <placeholder />
         </child>
         <child>
           <widget class="Gtk.HBox" id="hbox7">
             <property name="MemberName" />
             <property name="Spacing">6</property>
+            <property name="BorderWidth">4</property>
             <child>
               <widget class="Gtk.Button" id="button9">
                 <property name="MemberName" />