3988 |
w = XWINDOW (window_being_scrolled); |
w = XWINDOW (window_being_scrolled); |
3989 |
|
|
3990 |
if (!NILP (XSCROLL_BAR (w->vertical_scroll_bar)->dragging)) |
if (!NILP (XSCROLL_BAR (w->vertical_scroll_bar)->dragging)) |
3991 |
/* The thumb size is incorrect while dragging: fix it. */ |
{ |
3992 |
set_vertical_scroll_bar (w); |
XSCROLL_BAR (w->vertical_scroll_bar)->dragging = Qnil; |
3993 |
|
/* The thumb size is incorrect while dragging: fix it. */ |
3994 |
XSCROLL_BAR (w->vertical_scroll_bar)->dragging = Qnil; |
set_vertical_scroll_bar (w); |
3995 |
|
} |
3996 |
window_being_scrolled = Qnil; |
window_being_scrolled = Qnil; |
3997 |
last_scroll_bar_part = -1; |
last_scroll_bar_part = -1; |
3998 |
|
|