diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/gtkutil.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/gtkutil.c b/src/gtkutil.c index dc054426d04..89af8fd6c65 100644 --- a/src/gtkutil.c +++ b/src/gtkutil.c | |||
| @@ -2665,6 +2665,9 @@ xg_update_scrollbar_pos (f, scrollbar_id, top, left, width, height, | |||
| 2665 | gtk_fixed_move (GTK_FIXED (wfixed), wscroll, left, top); | 2665 | gtk_fixed_move (GTK_FIXED (wfixed), wscroll, left, top); |
| 2666 | gtk_widget_set_size_request (wscroll, width, gheight); | 2666 | gtk_widget_set_size_request (wscroll, width, gheight); |
| 2667 | 2667 | ||
| 2668 | /* Must force out update so changed scroll bars gets redrawn. */ | ||
| 2669 | gdk_window_process_all_updates (); | ||
| 2670 | |||
| 2668 | SET_FRAME_GARBAGED (f); | 2671 | SET_FRAME_GARBAGED (f); |
| 2669 | cancel_mouse_face (f); | 2672 | cancel_mouse_face (f); |
| 2670 | } | 2673 | } |