patch 8.0.1407: GUI: CursorHold may trigger before 'updatetime' commit https://github.com/vim/vim/commit/4af031dbc8d62f89c94072a406f6d2ec0e5200be Author: Bram Moolenaar <Bram@vim.org> Date: Tue Dec 19 10:02:43 2017 +0100 patch 8.0.1407: GUI: CursorHold may trigger before 'updatetime' Problem: GUI: CursorHold may trigger before 'updatetime' when using timers. Solution: Check that 'updatetime' has passed.

#! /bin/sh
#
# pathdef.sh: adjust pathdef.c for auto/link.sed, if it exists
#
if test -s auto/link.sed; then
  cp auto/pathdef.c auto/pathdef.tmp
  sed -f auto/link.sed <auto/pathdef.tmp >auto/pathdef.c
  rm -f auto/pathdef.tmp
fi

# vim:set sw=2 et: