diff src/gui_gtk_x11.c @ 9523:9d1abad90d6c v7.4.2042

commit https://github.com/vim/vim/commit/fdadad994a6e8f6cc8b11519082e23200b96d0ba Author: Bram Moolenaar <Bram@vim.org> Date: Fri Jul 15 17:49:58 2016 +0200 patch 7.4.2042 Problem: GTK: display updating is not done properly and can be slow. Solution: Use gdk_display_flush() instead of gdk_display_sync(). Don't call gdk_window_process_updates(). (Kazunobu Kuriyama)
author Christian Brabandt <cb@256bit.org>
date Fri, 15 Jul 2016 18:00:06 +0200
parents c5f40fc2e3e0
children d63b85fe3dc7
line wrap: on
line diff
--- a/src/gui_gtk_x11.c
+++ b/src/gui_gtk_x11.c
@@ -6646,19 +6646,10 @@ gui_mch_flush(void)
 # else
     if (gui.mainwin != NULL && GTK_WIDGET_REALIZED(gui.mainwin))
 # endif
-	gdk_display_sync(gtk_widget_get_display(gui.mainwin));
+	gdk_display_flush(gtk_widget_get_display(gui.mainwin));
 #else
     gdk_flush(); /* historical misnomer: calls XSync(), not XFlush() */
 #endif
-    /* This happens to actually do what gui_mch_flush() is supposed to do,
-     * according to the comment above. */
-#if GTK_CHECK_VERSION(3,0,0)
-    if (gui.drawarea != NULL && gtk_widget_get_window(gui.drawarea) != NULL)
-	gdk_window_process_updates(gtk_widget_get_window(gui.drawarea), FALSE);
-#else
-    if (gui.drawarea != NULL && gui.drawarea->window != NULL)
-	gdk_window_process_updates(gui.drawarea->window, FALSE);
-#endif
 }
 
 /*