diff --git a/doc/indent.jax b/doc/indent.jax index 98610c0ec..330318fd6 100644 --- a/doc/indent.jax +++ b/doc/indent.jax @@ -1,4 +1,4 @@ -*indent.txt* For Vim バージョン 9.1. Last change: 2024 Oct 05 +*indent.txt* For Vim バージョン 9.1. Last change: 2024 Nov 12 VIMリファレンスマニュアル by Bram Moolenaar @@ -801,6 +801,38 @@ HTML *ft-html-indent* *html-indent* *html-indenting* : GetCSSIndent() その他 : -1 +IDRIS2 *ft-idris2-indent* + +Idris 2 のインデントは、さまざまな言語構造のインデントレベルを制御するいくつか +の変数を使用して構成可能である: + +"g:idris2_indent_if" 変数は、`if` ステートメントの後の `then` および `else` ブ +ロックのインデントを制御する。デフォルトは 3 である。 + +"g:idris2_indent_case" 変数は、`case` 式内のパターンのインデントを制御する。デ +フォルトは 5 である。 + +"g:idris2_indent_let" 変数は、`let` バインディング後のインデントを制御する。デ +フォルトは 4 である。 + +"g:idris2_indent_rewrite" 変数は、`rewrite` 式後のインデントを制御する。デフォ +ルトは 8 である。 + +"g:idris2_indent_where" 変数は、`where` ブロックのインデントを制御する。デフォ +ルトは 6 である。 + +"g:idris2_indent_do" 変数は、`do` ブロック内のインデントを制御する。デフォルト +は 3 である。 + +構成例: > + + let g:idris2_indent_if = 2 + let g:idris2_indent_case = 4 + let g:idris2_indent_let = 4 + let g:idris2_indent_rewrite = 8 + let g:idris2_indent_where = 6 + let g:idris2_indent_do = 3 +< MATLAB *ft-matlab-indent* *matlab-indent* *matlab-indenting* diff --git a/en/indent.txt b/en/indent.txt index 9266f3a40..8f347d7d9 100644 --- a/en/indent.txt +++ b/en/indent.txt @@ -1,4 +1,4 @@ -*indent.txt* For Vim version 9.1. Last change: 2024 Oct 05 +*indent.txt* For Vim version 9.1. Last change: 2024 Nov 12 VIM REFERENCE MANUAL by Bram Moolenaar @@ -813,6 +813,38 @@ Detail: : GetCSSIndent() else : -1 +IDRIS2 *ft-idris2-indent* + +Idris 2 indentation can be configured with several variables that control the +indentation level for different language constructs: + +The "g:idris2_indent_if" variable controls the indentation of `then` and `else` +blocks after `if` statements. Defaults to 3. + +The "g:idris2_indent_case" variable controls the indentation of patterns in +`case` expressions. Defaults to 5. + +The "g:idris2_indent_let" variable controls the indentation after `let` +bindings. Defaults to 4. + +The "g:idris2_indent_rewrite" variable controls the indentation after `rewrite` +expressions. Defaults to 8. + +The "g:idris2_indent_where" variable controls the indentation of `where` +blocks. Defaults to 6. + +The "g:idris2_indent_do" variable controls the indentation in `do` blocks. +Defaults to 3. + +Example configuration: > + + let g:idris2_indent_if = 2 + let g:idris2_indent_case = 4 + let g:idris2_indent_let = 4 + let g:idris2_indent_rewrite = 8 + let g:idris2_indent_where = 6 + let g:idris2_indent_do = 3 +< MATLAB *ft-matlab-indent* *matlab-indent* *matlab-indenting*