4190 |
#else /* !USE_MOTIF, i.e. Xaw or GTK */ |
#else /* !USE_MOTIF, i.e. Xaw or GTK */ |
4191 |
#ifdef USE_GTK |
#ifdef USE_GTK |
4192 |
/* Scroll bar callback for GTK scroll bars. WIDGET is the scroll |
/* Scroll bar callback for GTK scroll bars. WIDGET is the scroll |
4193 |
bar adjustment widget. DATA is a pointer to the scroll_bar structure. */ |
bar widget. DATA is a pointer to the scroll_bar structure. */ |
4194 |
|
|
4195 |
static void |
static void |
4196 |
xg_scroll_callback (widget, data) |
xg_scroll_callback (widget, data) |
4197 |
GtkWidget *widget; |
GtkRange *widget; |
4198 |
gpointer data; |
gpointer data; |
4199 |
{ |
{ |
4200 |
struct scroll_bar *bar = (struct scroll_bar *) data; |
struct scroll_bar *bar = (struct scroll_bar *) data; |
4204 |
int diff; |
int diff; |
4205 |
|
|
4206 |
int part = -1, whole = 0, portion = 0; |
int part = -1, whole = 0, portion = 0; |
4207 |
GtkAdjustment *adj = GTK_ADJUSTMENT (widget); |
GtkAdjustment *adj = GTK_ADJUSTMENT (gtk_range_get_adjustment (widget)); |
4208 |
|
|
4209 |
if (xg_ignore_gtk_scrollbar) return; |
if (xg_ignore_gtk_scrollbar) return; |
4210 |
|
|