Mercurial > vim
view runtime/indent/dune.vim @ 26151:5a1850512676 v8.2.3607
patch 8.2.3607: GTK3 screen updating is slow
Commit: https://github.com/vim/vim/commit/9459b8d461d6f8345bfa3fb9b3b4297a7950b0bc
Author: presuku <presuku@users.noreply.github.com>
Date: Tue Nov 16 20:03:56 2021 +0000
patch 8.2.3607: GTK3 screen updating is slow
Problem: GTK3 screen updating is slow.
Solution: Remove some of the GTK3-specific code. (closes https://github.com/vim/vim/issues/9052)
author | Bram Moolenaar <Bram@vim.org> |
---|---|
date | Tue, 16 Nov 2021 21:15:02 +0100 |
parents | 15fa3923cc49 |
children | 5c220cf30f1f |
line wrap: on
line source
" Vim indent file " Language: dune " Maintainers: Markus Mottl <markus.mottl@gmail.com> " URL: https://github.com/ocaml/vim-ocaml " Last Change: 2021 Jan 01 if exists("b:did_indent") finish endif let b:did_indent = 1 " dune format-dune-file uses 1 space to indent setlocal softtabstop=1 shiftwidth=1 expandtab