diff options
| author | Jan Djärv | 2003-03-23 01:09:49 +0000 |
|---|---|---|
| committer | Jan Djärv | 2003-03-23 01:09:49 +0000 |
| commit | 55ba29ee66df015214e3991f2c46a6270792ff49 (patch) | |
| tree | 62fa66f6543d38b5afc7955a904970af56d651c5 /src | |
| parent | fd4c9408f84411a2362b38dbd910c798548d9961 (diff) | |
| download | emacs-55ba29ee66df015214e3991f2c46a6270792ff49.tar.gz emacs-55ba29ee66df015214e3991f2c46a6270792ff49.zip | |
Removed one line too many
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 | } |