comparison src/xterm.c @ 107005:fb234c5a45ed

Merge from trunk

107004:664aa528b94c

  /* We have to clear the scroll bars, too.  If we have changed
     colors or something like that, then they should be notified.  */
  x_scroll_bar_clear (f);

  XFlush (FRAME_X_DISPLAY (f));

  UNBLOCK_INPUT;
}

107005:fb234c5a45ed

  /* We have to clear the scroll bars, too.  If we have changed
     colors or something like that, then they should be notified.  */
  x_scroll_bar_clear (f);

#if defined (USE_GTK) && defined (USE_TOOLKIT_SCROLL_BARS)
  /* Make sure scroll bars are redrawn.  As they aren't redrawn by
     redisplay, do it here.  */
  gtk_widget_queue_draw (FRAME_GTK_WIDGET (f));
#endif
  
  XFlush (FRAME_X_DISPLAY (f));

  UNBLOCK_INPUT;
}