runtime(idris2): include filetype,indent+syntax plugins for (L)Idris2 + ipkg Commit: https://github.com/vim/vim/commit/5ca8f223f03dbd85f5e06c8e1d500c65f311eaf1 Author: Serhii Khoma <srghma@gmail.com> Date: Tue Nov 12 21:49:42 2024 +0100 runtime(idris2): include filetype,indent+syntax plugins for (L)Idris2 + ipkg closes: https://github.com/vim/vim/issues/15993 Co-authored-by: Christian Clason <ch.clason+github@icloud.com> Signed-off-by: Serhii Khoma <srghma@gmail.com> Signed-off-by: Christian Brabandt <cb@256bit.org>

# TAB setting/resetting
INIT
WANTSTATE
WANTSCREEN

RESET

PUSH "\e[2J\e[3g"

PUSH "\e[1;1H"
$REP 26: PUSH "\e[3C\eH"

PUSH "\e[1;4H"
$REP 13: PUSH "\e[0g\e[6C"

PUSH "\e[1;7H"
PUSH "\e[1g\e[2g"

PUSH "\e[1;1H"
$REP 13: PUSH "\t*"

PUSH "\e[2;2H"
$REP 13: PUSH "     *"

!Output
?screen_row 0 = "      *     *     *     *     *     *     *     *     *     *     *     *     *"
?screen_row 1 = "      *     *     *     *     *     *     *     *     *     *     *     *     *"

?cursor = 1,79