gtk3-scroll/switch.patch

   1 *** /tmp/gtkswitch.c    2011-03-24 17:45:25.000000000 +0100
   2 --- /home/lukas/gtkswitch.c     2011-05-01 16:00:08.000000000 +0200
   3 ***************
   4 *** 144,149 ****
   5 --- 144,170 ----
   6   }
   7
   8   static gboolean
   9 + gtk_switch_scroll (GtkWidget      *widget,
  10 +                          GdkEventScroll *event)
  11 + {
  12 +   GtkSwitch *priv = GTK_SWITCH (widget);
  13 +   switch (event->direction)
  14 +               {
  15 +               case GDK_SCROLL_RIGHT:
  16 +               case GDK_SCROLL_DOWN:
  17 +                 gtk_switch_set_active(priv, TRUE);
  18 +                 break;
  19 +               case GDK_SCROLL_LEFT:
  20 +               case GDK_SCROLL_UP:
  21 +                 gtk_switch_set_active(priv, FALSE);
  22 +                 break;
  23 +               }
  24 +
  25 +   return TRUE;
  26 + }
  27 +
  28 +
  29 + static gboolean
  30   gtk_switch_motion (GtkWidget      *widget,
  31                      GdkEventMotion *event)
  32   {
  33 ***************
  34 *** 458,464 ****
  35                               GDK_POINTER_MOTION_HINT_MASK |
  36                               GDK_POINTER_MOTION_MASK |
  37                               GDK_ENTER_NOTIFY_MASK |
  38 !                             GDK_LEAVE_NOTIFY_MASK);
  39     attributes_mask = GDK_WA_X | GDK_WA_Y;
  40
  41     priv->event_window = gdk_window_new (parent_window,
  42 --- 479,486 ----
  43                               GDK_POINTER_MOTION_HINT_MASK |
  44                               GDK_POINTER_MOTION_MASK |
  45                               GDK_ENTER_NOTIFY_MASK |
  46 !                             GDK_LEAVE_NOTIFY_MASK |
  47 !                             GDK_SCROLL_MASK);
  48     attributes_mask = GDK_WA_X | GDK_WA_Y;
  49
  50     priv->event_window = gdk_window_new (parent_window,
  51 ***************
  52 *** 818,823 ****
  53 --- 840,846 ----
  54     widget_class->unmap = gtk_switch_unmap;
  55     widget_class->draw = gtk_switch_draw;
  56     widget_class->button_press_event = gtk_switch_button_press;
  57 +   widget_class->scroll_event = gtk_switch_scroll;
  58     widget_class->button_release_event = gtk_switch_button_release;
  59     widget_class->motion_notify_event = gtk_switch_motion;
  60     widget_class->enter_notify_event = gtk_switch_enter;