view runtime/tools/vimm @ 13768:bcef80912112 v8.0.1756

patch 8.0.1756: GUI: after prompting for a number the mouse shape is wrong commit https://github.com/vim/vim/commit/73658317bacd9a0264dfaa32288de6ea1f236fe5 Author: Bram Moolenaar <Bram@vim.org> Date: Tue Apr 24 17:41:57 2018 +0200 patch 8.0.1756: GUI: after prompting for a number the mouse shape is wrong Problem: GUI: after prompting for a number the mouse shape is sometimes wrong. Solution: Call setmouse() after setting "State". (Hirohito Higashi, closes #2709)
author Christian Brabandt <cb@256bit.org>
date Tue, 24 Apr 2018 17:45:08 +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"