Minimum size for cursor slider

Force cursor slide to 100 px, in order to use it without changing
the window width.
This commit is contained in:
Luca Ferretti 2009-08-28 00:25:21 +02:00
parent 26991e3dcc
commit 65ddea8930

View file

@ -2672,6 +2672,7 @@
</child>
<child>
<object class="GtkHScale" id="cursor_size_scale">
<property name="width_request">100</property>
<property name="visible">True</property>
<property name="can_focus">True</property>
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>