Commit Graph

17 Commits

Author SHA1 Message Date
juan
ae91bba3cf
minor coq changes and add keybind for gitsigns 2021-11-01 19:29:14 +08:00
juan
223357b591
various color change, remove dap 2021-10-25 12:10:08 +08:00
juan
b9f4d3efda
update neoformat and indent-blankline 2021-10-25 10:53:37 +08:00
juan
55c232f0d7
fix indent-blankline 2021-09-28 20:12:29 +08:00
juan
d0acc29331
index change and tree changes 2021-09-27 13:00:44 +08:00
juan
97c865358f
add dap and lsp now works properly 2021-09-27 11:56:17 +08:00
juan
c436ad984f
update coq and autopairs settings 2021-09-26 11:43:07 +08:00
juan
7a4cdd6922
sign with gpg and update autopairs things. 2021-09-26 11:35:15 +08:00
juan
892f76f591 modify gitignore, keybinds shade config 2021-09-15 15:40:34 +08:00
juan
6d31cfec51 Fix the color a little bit. 2021-09-14 22:30:16 +08:00
juan
d15fd20333 silent coq startup, base16 color update. 2021-09-14 20:41:42 +08:00
juan
196f60f638 TabNine now works properly with the commit 2021-09-14 20:32:11 +08:00
juan
bff6f5e613 update blankline and formatter. 2021-09-14 19:58:30 +08:00
juan
ab1619a9d1 add spellsitter, hop, sniprun, fugitive and remove 2021-09-09 19:55:32 +08:00
juan
3ec09fa157 Plugin added: ts-rainbow range-highlight firenvim 2021-09-09 19:02:33 +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