error on other buffer, fix make_case indent, etc. #8

shinji-kono · 2022-08-21T07:58:44Z

jump to error using row and cols instead of byte positions
make case indent compensation
use string.gsub to remove "JSON> " instead of utf8.gsub to avoid invlid utf8 error
write error to other buffer like old agda-vim
fix highlight confilct with color scheme

make case indent compensation use string.gsub to remove "JSON> " instead of utf8.gsub to avoid invlid utf8 error write error to other buffer like old agda-vim fix highlight confilct with color scheme

jump to error using row and cols instead of byte positions

27346a3

make case indent compensation use string.gsub to remove "JSON> " instead of utf8.gsub to avoid invlid utf8 error write error to other buffer like old agda-vim fix highlight confilct with color scheme

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

error on other buffer, fix make_case indent, etc. #8

error on other buffer, fix make_case indent, etc. #8

shinji-kono commented Aug 21, 2022

error on other buffer, fix make_case indent, etc. #8

Are you sure you want to change the base?

error on other buffer, fix make_case indent, etc. #8

Conversation

shinji-kono commented Aug 21, 2022