annotate runtime/indent/dune.vim @ 31192:dcde141f2d1e v9.0.0930

patch 9.0.0930: cannot debug the Kitty keyboard protocol with TermDebug Commit: https://github.com/vim/vim/commit/63a2e360cca2c70ab0a85d14771d3259d4b3aafa Author: Bram Moolenaar <Bram@vim.org> Date: Wed Nov 23 20:20:18 2022 +0000 patch 9.0.0930: cannot debug the Kitty keyboard protocol with TermDebug Problem: Cannot debug the Kitty keyboard protocol with TermDebug. Solution: Add Kitty keyboard protocol support to the libvterm fork. Recognize the escape sequences that the protocol generates. Add the 'keyprotocol' option to allow the user to specify for which terminal what protocol is to be used, instead of hard-coding this. Add recognizing the kitty keyboard protocol status.
author Bram Moolenaar <Bram@vim.org>
date Wed, 23 Nov 2022 21:30: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