| commit | fdadad994a6e8f6cc8b11519082e23200b96d0ba | [log] [tgz] |
|---|---|---|
| author | Bram Moolenaar <Bram@vim.org> | Fri Jul 15 17:49:58 2016 +0200 |
| committer | Bram Moolenaar <Bram@vim.org> | Fri Jul 15 17:49:58 2016 +0200 |
| tree | 6cd420adf8a803cd0eac8f46be449fad9302ce13 | |
| parent | 603d657219154ef074eeb70f6892b0b54e4fc19b [diff] [blame] |
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)
diff --git a/src/version.c b/src/version.c index 72b4789..e4dd573 100644 --- a/src/version.c +++ b/src/version.c
@@ -759,6 +759,8 @@ static int included_patches[] = { /* Add new patch number below this line */ /**/ + 2042, +/**/ 2041, /**/ 2040,