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

Develop

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

JumpToError counslt error message contents (byte2line won't work because of neovim's unapplied patch) add indent on make case handling chose different syntax on hole and unsolved metas ingnore error on normalize

shinji-kono avatar Jul 15 '22 12:07 shinji-kono

@shinji-kono , I wrote a bunch of comments (in-line with your original changes). I am just wondering if you have seen these? There are even more new features added recently, but none of the concerns are yet addressed. I guess it would be easier if we could keep use one pull request per one logical change.

ashinkarov avatar Aug 15 '22 10:08 ashinkarov

Ya, that's make sense. I think I checked your update, but I missed some.

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