6395 |
|
|
6396 |
#else /* !USE_MOTIF, i.e. Xaw or GTK */ |
#else /* !USE_MOTIF, i.e. Xaw or GTK */ |
6397 |
#ifdef USE_GTK |
#ifdef USE_GTK |
6398 |
/* Scroll bar callback for Gtk scroll bars. WIDGET is the scroll |
/* Scroll bar callback for GTK scroll bars. WIDGET is the scroll |
6399 |
bar adjustment widget. DATA is a pointer to the scroll_bar structure. */ |
bar adjustment widget. DATA is a pointer to the scroll_bar structure. */ |
6400 |
|
|
6401 |
static void |
static void |
6453 |
{ |
{ |
6454 |
part = scroll_bar_handle; |
part = scroll_bar_handle; |
6455 |
whole = adj->upper - adj->page_size; |
whole = adj->upper - adj->page_size; |
6456 |
portion = min (position, whole); |
portion = min ((int)position, whole); |
6457 |
bar->dragging = make_number (portion); |
bar->dragging = make_number ((int)portion); |
6458 |
} |
} |
6459 |
|
|
6460 |
if (part >= 0) |
if (part >= 0) |
6461 |
{ |
{ |
|
xg_ignore_next_thumb = 1; |
|
6462 |
window_being_scrolled = bar->window; |
window_being_scrolled = bar->window; |
6463 |
last_scroll_bar_part = part; |
last_scroll_bar_part = part; |
6464 |
x_send_scroll_bar_event (bar->window, part, portion, whole); |
x_send_scroll_bar_event (bar->window, part, portion, whole); |