annotate src/pathdef.sh @ 15396:325e4a8ba1b6 v8.1.0706

patch 8.1.0706: tabline is not always redrawn commit https://github.com/vim/vim/commit/e12bab3144af8943937bd0ff4bc57f04e53037b3 Author: Bram Moolenaar <Bram@vim.org> Date: Tue Jan 8 22:02:56 2019 +0100 patch 8.1.0706: tabline is not always redrawn Problem: Tabline is not always redrawn when something that is used in 'tabline' changes. Solution: Add ":redrawtabline" so that a plugin can at least cause the redraw when needed.
author Bram Moolenaar <Bram@vim.org>
date Tue, 08 Jan 2019 22:15:05 +0100
parents 3fc0f57ecb91
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
7
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
1 #! /bin/sh
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
2 #
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
3 # pathdef.sh: adjust pathdef.c for auto/link.sed, if it exists
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
4 #
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
5 if test -s auto/link.sed; then
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
6 cp auto/pathdef.c auto/pathdef.tmp
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
7 sed -f auto/link.sed <auto/pathdef.tmp >auto/pathdef.c
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
8 rm -f auto/pathdef.tmp
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
9 fi
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
10
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
11 # vim:set sw=2 et: