nvim-agda icon indicating copy to clipboard operation
nvim-agda copied to clipboard

error on other buffer, fix make_case indent, etc.

Open shinji-kono opened this issue 3 years ago • 0 comments

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

shinji-kono avatar Aug 21 '22 07:08 shinji-kono