ashinkarov / nvim-agda

Agda interaction pluging for neovim
36 stars 5 forks source link

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

Open shinji-kono opened 2 years ago

shinji-kono commented 2 years ago

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