Ting-gian LUA

Thanks! The first two commands shouldn't be too difficult. Actually I've implemented something similar to `C-c C-x C-s` (in a fancy way)  But I thought I might be the...

I'll look into it, thanks for the issues you have reported in these days!

Please install [language-agda](https://atom.io/packages/language-agda) for general syntax highlighting, I suppose this is what you are looking for : ) Syntax highlighting is usually handled by `language-blahblah` in Atom

Agda sends syntax highlighting informations every time when the file is loaded, which looks something like this: ``` (agda2-highlight-add-annotations '(59 65 (keyword) nil) '(66 70 (module) nil ("/Users/banacorn/agda/test/Test.agda" . 1))...

I believe that Emacs simply erase all highlightings and repaint them again with the annotations sent from Agda, the same can be done in Atom, too.

Thanks!

I can't reproduce this :( Does it also happen without agda-language-server? Does it happen to all .agda files?

Thank you for reporting this. It'd be great if you can make a PR ❤️!

Which Markdown extension are you using? 👀

Thanks!