github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-03-29 22:27:13 +09:00
Code Issues Packages Projects Releases Wiki Activity
2,555 Commits 24 Branches 41 Tags
98b3ed0eec7d2e23368f73bf6c44989739c44ec5
Commit Graph

4 Commits

Author SHA1 Message Date
Zachary Yedidia
c822a16596 Shutdown lsp servers 2020-08-12 21:15:17 -04:00
Zachary Yedidia
e3689ffbd8 Hover support 2020-08-12 16:03:23 -04:00
Zachary Yedidia
f0b1158ab6 Run notifications in background to hide latency 2020-08-12 16:03:23 -04:00
Zachary Yedidia
c344f1bfce Fix notifications vs requests 2020-08-12 16:03:23 -04:00