Commit Graph

10 Commits

Author SHA1 Message Date
juan
864818059c
Various optimizations 2022-05-28 23:54:46 +08:00
juan
d64ee35bc8
Add glow: the markdown previewer
Currently using my own fork, will change to upstream once
the PR is accepted.
2022-05-09 11:28:46 +08:00
juan
88e753ee4c
remove retab format 2022-04-17 20:57:18 +08:00
juan
2870de965f
remove unneeded kap mappings and remove cursorline 2021-11-11 11:35:17 +08:00
juan
2b56227858
add cursorline 2021-11-11 10:46:45 +08:00
juan
b9f4d3efda
update neoformat and indent-blankline 2021-10-25 10:53:37 +08:00
juan
892f76f591 modify gitignore, keybinds shade config 2021-09-15 15:40:34 +08:00
juan
bff6f5e613 update blankline and formatter. 2021-09-14 19:58:30 +08:00
juan
781e666443 LSP and coq now play nicely 2021-09-08 19:57:41 +08:00
juan
ea148c695e Add everything and LSP doesn work. 2021-09-07 23:26:21 +08:00