view runtime/tools/vimm @ 24649:31a7fa6b2e93 v8.2.2863

patch 8.2.2863: removing a text property does not redraw optimally Commit: https://github.com/vim/vim/commit/965c04486c9364ded99b49c86f4c41228503df1f Author: Bram Moolenaar <Bram@vim.org> Date: Mon May 17 00:22:06 2021 +0200 patch 8.2.2863: removing a text property does not redraw optimally Problem: Removing a text property does not redraw optimally. Solution: Only redraw the lines that mithg actually have been changed.
author Bram Moolenaar <Bram@vim.org>
date Mon, 17 May 2021 00:30:04 +0200
parents f4f8014d516e
children
line wrap: on
line source

#!/bin/sh
# enable DEC locator input model on remote terminal
printf  "\033[1;2'z\033[1;3'{\c"
vim "$@"
# disable DEC locator input model on remote terminal
printf  "\033[2;4'{\033[0'z\c"