Merge pull request #1813 from h-east/update-indent

Update indent.{txt,jax}

Author: h-east

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*
 

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*