-LRN: Try-to-make-tabs-smaller.patch - makes notebook tabs a bit

smaller. Not sure how it looks on other platforms, so check that one
before committing. --- CG: I prefer it with more padding, but easy to
adjust later;  I want to see how the 3 patches look together.

1 files changed, 15 insertions, 7 deletions

diff --git a/contrib/gnunet_fs_gtk_search_tab.glade b/contrib/gnunet_fs_gtk_search_tab.glade
index 93e5debb..1a8f95d2 100644
--- a/contrib/gnunet_fs_gtk_search_tab.glade
+++ b/contrib/gnunet_fs_gtk_search_tab.glade
@@ -163,18 +163,25 @@
       <object class="GtkHBox" id="_search_result_label_hbox">
         <property name="visible">True</property>
         <property name="can_focus">False</property>
-        <property name="border_width">5</property>
         <child>
-          <object class="GtkLabel" id="_search_result_label_window_label">
-            <property name="height_request">30</property>
+          <object class="GtkAlignment" id="_search_result_label_window_label_alignment">
             <property name="visible">True</property>
             <property name="can_focus">False</property>
-            <property name="label" translatable="yes">query</property>
+            <property name="border_width">2</property>
+            <property name="xscale">0</property>
+            <property name="yscale">0</property>
+            <child>
+              <object class="GtkLabel" id="_search_result_label_window_label">
+                <property name="height_request">30</property>
+                <property name="visible">True</property>
+                <property name="can_focus">False</property>
+                <property name="label">query</property>
+              </object>
+            </child>
           </object>
           <packing>
-            <property name="expand">True</property>
-            <property name="fill">True</property>
-            <property name="padding">5</property>
+            <property name="expand">False</property>
+            <property name="fill">False</property>
             <property name="position">0</property>
           </packing>
         </child>
@@ -252,6 +259,7 @@
                     <property name="visible">True</property>
                     <property name="can_focus">False</property>
                     <property name="stock">gtk-clear</property>
+                    <property name="icon-size">2</property>
                   </object>
                 </child>
               </object>