[tor-commits] [sandboxed-tor-browser/master] Minor tweaks to the "something in progress" dialog box.

[yawning at torproject.org]

commit a249097af81e0f5064422d19451ed7d64574d14c
Author: Yawning Angel <yawning at schwanenlied.me>
Date:   Thu Dec 29 08:37:41 2016 +0000

    Minor tweaks to the "something in progress" dialog box.
    
    Mostly just adjusting the margins slightly in the hopes of making it
    look somewhat better.
---
 ChangeLog        | 1 +
 data/ui/gtkui.ui | 9 +++++----
 2 files changed, 6 insertions(+), 4 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 4f3a908..7b7f170 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -13,6 +13,7 @@ Changes in version 0.0.3 - UNRELEASED:
    on certain pages.
  * Bug 20973: Silence Gdk warnings on systems with integrated png loader.
  * Bug 20806: Try even harder to exclude gstreamer.
+ * Minor tweaks to the "something in progress" dialog box.
  * Disable the firefox safe mode prompt, because it is nonsensical when
    applied to Tor Browser.
  * Add a `-h` command line flag that prints usage.
diff --git a/data/ui/gtkui.ui b/data/ui/gtkui.ui
index eb453d3..fc88a6f 100644
--- a/data/ui/gtkui.ui
+++ b/data/ui/gtkui.ui
@@ -1120,10 +1120,10 @@
           <object class="GtkBox">
             <property name="visible">True</property>
             <property name="can_focus">False</property>
-            <property name="margin_left">6</property>
-            <property name="margin_right">6</property>
-            <property name="margin_top">6</property>
-            <property name="margin_bottom">6</property>
+            <property name="margin_left">12</property>
+            <property name="margin_right">12</property>
+            <property name="margin_top">18</property>
+            <property name="margin_bottom">18</property>
             <property name="orientation">vertical</property>
             <child>
               <object class="GtkBox">
@@ -1171,6 +1171,7 @@
               <packing>
                 <property name="expand">True</property>
                 <property name="fill">True</property>
+                <property name="pack_type">end</property>
                 <property name="position">1</property>
               </packing>
             </child>