commit a249097af81e0f5064422d19451ed7d64574d14c Author: Yawning Angel yawning@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>