Mercurial > vim
view runtime/doc/maketags.awk @ 13206:53f0c469dfc6 v8.0.1477
patch 8.0.1477: redraw flicker when moving the mouse outside of terminal window
commit https://github.com/vim/vim/commit/d317b38a4dbcdbd4cf587cf78cc1f4289374214e
Author: Bram Moolenaar <Bram@vim.org>
Date: Thu Feb 8 22:33:31 2018 +0100
patch 8.0.1477: redraw flicker when moving the mouse outside of terminal window
Problem: Redraw flicker when moving the mouse outside of terminal window.
Solution: Instead of updating the cursor color and shape every time leaving
and entering a terminal window, only update when different from
the previously used cursor.
author | Christian Brabandt <cb@256bit.org> |
---|---|
date | Thu, 08 Feb 2018 22:45:05 +0100 |
parents | 3fc0f57ecb91 |
children | aa539262b6a7 |
line wrap: on
line source
BEGIN { FS=" "; } NR == 1 { nf=split(FILENAME,f,".") print "<HTML>"; print "<HEAD><TITLE>" f[1] "</TITLE></HEAD>"; print "<BODY BGCOLOR=\"#ffffff\">"; print "<H1>Vim Documentation: " f[1] "</H1>"; print "<A NAME=\"top\"></A>"; print "<HR>"; print "<PRE>"; } { # # protect special chars # gsub(/&/,"\\&"); gsub(/>/,"\\>"); gsub(/</,"\\<"); gsub(/"/,"\\""); gsub(/%/,"\\%"); nf=split($0,tag," "); tagkey[t]=tag[1];tagref[t]=tag[2];tagnum[t]=NR; print $1 " " $2 " line " NR >"tags.ref" n=split($2,w,"."); printf ("|<A HREF=\"%s.html#%s\">%s</A>| %s\n",w[1],$1,$1,$2); } END { topback(); print "</PRE>\n</BODY>\n\n\n</HTML>"; } # # as main we keep index.txt (by default) # other candidate, help.txt # function topback () { printf("<A HREF=\"#top\">top</A> - "); printf("<A HREF=\"help.html\">back to help</A>\n"); }