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