github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-03-30 06:37:14 +09:00
Code Issues Packages Projects Releases Wiki Activity
2,557 Commits 24 Branches 41 Tags
188b579b224568fe4e0765341609ffd41b8dd7ed
Commit Graph

5 Commits

Author SHA1 Message Date
Zachary Yedidia
01f55a6c79 Ensure correct ordering of notifications 2020-08-16 12:35:08 -04:00
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