annotate runtime/indent/dune.vim @ 31754:48431422f766 v9.0.1209

patch 9.0.1209: getting interface member does not always work Commit: https://github.com/vim/vim/commit/29ac5df37baf7e6e751c7ebd4ab37a2aa826e9e6 Author: Bram Moolenaar <Bram@vim.org> Date: Mon Jan 16 19:43:47 2023 +0000 patch 9.0.1209: getting interface member does not always work Problem: Getting interface member does not always work. Solution: Convert the index on the interface to the index on the object. (closes #11825)
author Bram Moolenaar <Bram@vim.org>
date Mon, 16 Jan 2023 20:45:04 +0100
parents 15fa3923cc49
children 5c220cf30f1f
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
23466
15fa3923cc49 Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
1 " Vim indent file
15fa3923cc49 Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
2 " Language: dune
15fa3923cc49 Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
3 " Maintainers: Markus Mottl <markus.mottl@gmail.com>
15fa3923cc49 Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
4 " URL: https://github.com/ocaml/vim-ocaml
15fa3923cc49 Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
5 " Last Change: 2021 Jan 01
15fa3923cc49 Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
6
15fa3923cc49 Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
7 if exists("b:did_indent")
15fa3923cc49 Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
8 finish
15fa3923cc49 Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
9 endif
15fa3923cc49 Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
10 let b:did_indent = 1
15fa3923cc49 Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
11
15fa3923cc49 Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
12 " dune format-dune-file uses 1 space to indent
15fa3923cc49 Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
13 setlocal softtabstop=1 shiftwidth=1 expandtab