[gtk-list] Patch for wider range widgets

[Antonio Campos]

I think this patch (not laugh at the patch ...) makes range widgets a
little more manageable by making the minimum slider a bit bigger, and
the range widget itself a little wider.
This is important, because very little sliders are difficult to catch
with the mouse, and that's no good for newbies.
--- ../joder/gtk+-1.2.6/gtk/gtkrange.c  Wed Feb 24 11:15:12 1999
+++ gtkrange.c  Mon Feb  7 17:00:34 2000
@@ -160,10 +160,10 @@
   widget_class->focus_out_event = gtk_range_focus_out;
   widget_class->style_set = gtk_range_style_set;
 
-  class->slider_width = 11;
-  class->stepper_size = 11;
+  class->slider_width = 13;
+  class->stepper_size = 13;
   class->stepper_slider_spacing = 1;
-  class->min_slider_size = 7;
+  class->min_slider_size = 12;
   class->trough = 1;
   class->slider = 2;
   class->step_forw = 3;