patch 8.1.1664: GUI resize may cause changing Rows at a bad time commit https://github.com/vim/vim/commit/847a5d69a826c02a7cb8a14884f3fef69d74fed7 Author: Bram Moolenaar <Bram@vim.org> Date: Fri Jul 12 15:37:13 2019 +0200 patch 8.1.1664: GUI resize may cause changing Rows at a bad time Problem: GUI resize may cause changing Rows at a bad time. (Dominique Pelle) Solution: Postpone resizing while updating the screen.

" Print py3 interface version and write the result into if_ver.txt.
" For Ubuntu. Part 2.

redir! >> if_ver.txt
if 1
  echo "\nPython 3:"
  python3 import sys; print(sys.version)
  echo "\n"
endif
redir END