Update filetype.{txt,jax}

Author: h-east

doc/filetype.jax

@@ -1,4 +1,4 @@
-*filetype.txt*	For Vim バージョン 9.1.  Last change: 2024 Nov 09
+*filetype.txt*	For Vim バージョン 9.1.  Last change: 2024 Nov 12
 
 
 		VIMリファレンスマニュアル    by Bram Moolenaar
@@ -659,6 +659,18 @@ HARE							*ft-hare*
 このプラグインのテキストはかなり長いため、別ファイル |ft_hare.txt| に配置され
 ている: |ft_hare.txt|。
 
+IDRIS2							*ft-idris2-plugin*
+
+デフォルトでは、以下のオプションが設定されている: >
+
+	setlocal shiftwidth=2 tabstop=2 expandtab
+	setlocal comments=s1:{-,mb:-,ex:-},:\|\|\|,:--
+	setlocal commentstring=--\ %s
+	setlocal wildignore+=*.ibc
+
+インデントにスペースではなくタブを使用するには、vimrc に以下の変数を設定する: >
+
+	let g:idris2#allow_tabchar = 1
 
 JAVA							*ft-java-plugin*
 

en/filetype.txt

@@ -1,4 +1,4 @@
-*filetype.txt*	For Vim version 9.1.  Last change: 2024 Nov 09
+*filetype.txt*	For Vim version 9.1.  Last change: 2024 Nov 12
 
 
 		  VIM REFERENCE MANUAL    by Bram Moolenaar
@@ -667,6 +667,19 @@ HARE							*ft-hare*
 Since the text for this plugin is rather long it has been put in a separate
 file: |ft_hare.txt|.
 
+IDRIS2							*ft-idris2-plugin*
+
+By default the following options are set: >
+
+	setlocal shiftwidth=2 tabstop=2 expandtab
+	setlocal comments=s1:{-,mb:-,ex:-},:\|\|\|,:--
+	setlocal commentstring=--\ %s
+	setlocal wildignore+=*.ibc
+
+To use tabs instead of spaces for indentation, set the following variable
+in your vimrc: >
+
+	let g:idris2#allow_tabchar = 1
 
 JAVA							*ft-java-plugin*