annotate 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 |
rev |
line source |
23466
|
1 " Vim indent file
|
|
2 " Language: dune
|
|
3 " Maintainers: Markus Mottl <markus.mottl@gmail.com>
|
|
4 " URL: https://github.com/ocaml/vim-ocaml
|
|
5 " Last Change: 2021 Jan 01
|
|
6
|
|
7 if exists("b:did_indent")
|
|
8 finish
|
|
9 endif
|
|
10 let b:did_indent = 1
|
|
11
|
|
12 " dune format-dune-file uses 1 space to indent
|
|
13 setlocal softtabstop=1 shiftwidth=1 expandtab
|