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)