[GNUnet-SVN] r18869 - gnunet-gtk/contrib

[gnunet]

Author: grothoff
Date: 2011-12-31 20:20:11 +0100 (Sat, 31 Dec 2011)
New Revision: 18869

Modified:
   gnunet-gtk/contrib/gnunet_fs_gtk_search_tab.glade
Log:
-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.




Modified: gnunet-gtk/contrib/gnunet_fs_gtk_search_tab.glade
===================================================================
--- gnunet-gtk/contrib/gnunet_fs_gtk_search_tab.glade   2011-12-31 18:39:44 UTC 
(rev 18868)
+++ gnunet-gtk/contrib/gnunet_fs_gtk_search_tab.glade   2011-12-31 19:20:11 UTC 
(rev 18869)
@@ -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>