gnome-panel-top_panel_size.patch

   1 diff -Nuard gnome-panel-2.4.1.orig/gnome-panel/panel-default-setup.entries gnome-panel-2.4.1/gnome-panel/panel-default-setup.entries
   2 --- gnome-panel-2.4.1.orig/gnome-panel/panel-default-setup.entries      2003-07-01 16:29:54.000000000 +0200
   3 +++ gnome-panel-2.4.1/gnome-panel/panel-default-setup.entries   2003-12-03 02:20:27.254766552 +0100
   4 @@ -98,7 +101,7 @@
   5        <key>size</key>
   6        <schema_key>/schemas/apps/panel/toplevels/size</schema_key>
   7        <value>
   8 -        <int>32</int>
   9 +        <int>24</int>
  10        </value>
  11      </entry>
  12    </entrylist>