102
102
static gboolean thumb_leave_notify_event_cb (GtkWidget *widget, GdkEventCrossing *event, gpointer user_data);
103
103
static gboolean thumb_motion_notify_event_cb (GtkWidget *widget, GdkEventMotion *event, gpointer user_data);
104
104
static void pager_move (OsScrollbar *scrollbar);
106
105
static void pager_set_state (OsScrollbar *scrollbar);
107
106
static void adjustment_changed_cb (GtkAdjustment *adjustment, gpointer user_data);
108
107
static void adjustment_value_changed_cb (GtkAdjustment *adjustment, gpointer user_data);