# HG changeset patch
# User Jan Dj¸«£rv <jan.h.d@swipnet.se>
# Date 1048381789 0
# Node ID c5e286e85257935c14e2936add353a8fa43a6588
# Parent  15e511b7973a3dab226a1854910db85968a66f9a
Removed one line too many

diff -r 15e511b7973a -r c5e286e85257 src/gtkutil.c
--- a/src/gtkutil.c	Sun Mar 23 01:03:23 2003 +0000
+++ b/src/gtkutil.c	Sun Mar 23 01:09:49 2003 +0000
@@ -2665,6 +2665,9 @@
       gtk_fixed_move (GTK_FIXED (wfixed), wscroll, left, top);
       gtk_widget_set_size_request (wscroll, width, gheight);
 
+      /* Must force out update so changed scroll bars gets redrawn.  */
+      gdk_window_process_all_updates ();
+
       SET_FRAME_GARBAGED (f);
       cancel_mouse_face (f);
     }