Commit Graph

118 Commits

Author SHA1 Message Date
Gabriel Ebner c7161c0ef1 vim: undercurl!! 2021-06-29 21:03:06 +02:00
Gabriel Ebner a8692a6b3c vim: remove lean.vim 2021-06-17 12:55:10 +02:00
Gabriel Ebner 50d22d8b27 vim: disable vim-coffee-script 2021-06-09 15:41:27 +02:00
Gabriel Ebner 03862e5dab vimrc: new lean option 2021-06-03 20:12:07 +02:00
Gabriel Ebner e5aa5dc9b8 Some vim tweaks. 2021-06-02 17:56:28 +02:00
Gabriel Ebner da150e535b telescope: ignore stage0 2021-06-02 11:04:45 +02:00
Gabriel Ebner 7d1faefeab lean.nvim: enable abbreviations 2021-06-02 11:04:07 +02:00
Gabriel Ebner 20e43ac5f6 Use lean.vim 2021-05-31 10:59:01 +02:00
Gabriel Ebner cef8ba662b vimrc: use telescope instead of fzf 2021-05-30 10:58:23 +02:00
Gabriel Ebner f004718325 vimrc: update diags in insert mode 2021-05-28 16:19:02 +02:00
Gabriel Ebner 9f403e8d33 vim: tone down compe 2021-05-25 18:39:56 +02:00
Gabriel Ebner 505269f4c0 nvim: gui config 2021-05-24 23:39:27 +02:00
Gabriel Ebner be4d49921c Use less obtrusive sign column background. 2021-05-24 22:27:32 +02:00
Gabriel Ebner 8471722e81 vim: add texlab 2021-05-24 20:18:36 +02:00
Gabriel Ebner cdc24de045 vim: add gui settings 2021-05-24 19:47:50 +02:00
Gabriel Ebner 96367041ef vim: set nosc 2021-05-24 19:33:12 +02:00
Gabriel Ebner e4cea56abf vim: more lsp 2021-05-24 15:06:55 +02:00
Gabriel Ebner 10b0b2360f vim: enable ccls 2021-05-24 14:51:52 +02:00
Gabriel Ebner 177775e122 vim: add lua ls 2021-05-24 12:16:15 +02:00
Gabriel Ebner d73b38a8a9 vim: remove old cruft 2021-05-24 12:02:40 +02:00
Gabriel Ebner f506b8ee51 vim: add more lsp config 2021-05-24 12:02:40 +02:00
Gabriel Ebner 7913d12384 vimrc: use lsp 2021-05-23 20:55:38 +02:00
Gabriel Ebner 3ca6f26d1a vimrc: disable latex indent 2021-04-28 10:52:10 +02:00
Gabriel Ebner f015fc8e51 vim: jellybeans: increase contrast 2021-04-02 21:29:09 +02:00
Gabriel Ebner cc179aefa2 vimrc: add commented-out firenvim config 2020-11-12 20:16:37 +01:00
Gabriel Ebner 9908b0cdd2 vim: set vimtex flavor 2020-10-03 12:52:14 +02:00
Gabriel Ebner 173ae74804 Disable tern 2020-07-15 11:51:36 +02:00
Gabriel Ebner 5689720d8c vimrc: add elixir support 2020-07-14 17:49:29 +02:00
Gabriel Ebner 408943f657 update vimrc 2020-07-14 13:15:57 +02:00
Gabriel Ebner 9cee04ea13 vim: add tptp comments 2020-06-25 14:03:57 +02:00
Gabriel Ebner b4d8372e17 Disable coc. 2020-06-25 14:03:49 +02:00
Gabriel Ebner 0770bc5d26 nvim: use coc 2019-10-01 10:51:51 +02:00
Gabriel Ebner b7d2bd6f6e vimrc: re-enable fugitive 2019-04-14 14:21:58 +02:00
Gabriel Ebner da7c50027f vimrc: add openscad 2019-04-07 14:06:33 +02:00
Gabriel Ebner 54dad20ab7 vimrc: use magit instead of fugitive 2019-03-15 10:42:57 +01:00
Gabriel Ebner 199b4c00a7 vimrc: preview :s results 2019-03-13 10:24:12 +01:00
Gabriel Ebner 349568ff68 vimrc: use setl 2019-03-13 10:23:00 +01:00
Gabriel Ebner ebec119192 vimrc: fix jellybeans background 2019-03-11 11:44:44 +01:00
Gabriel Ebner a1f1e4352b Disable nvim-completion-manager 2018-12-09 16:37:05 +01:00
Gabriel Ebner 6b6cac2385 vimrc: add fish support 2018-10-09 12:06:53 +02:00
Gabriel Ebner ca4b23cbc7 disable gutentags 2018-10-05 10:46:26 +02:00
Gabriel Ebner 7065b22566 vim: add diffchar 2018-06-01 09:50:42 +02:00
Gabriel Ebner a8f2a30d83 Use new tcomment config function. 2018-04-13 18:02:56 +02:00
Gabriel Ebner 2cd9064299 vimrc: characterize + racket 2018-03-25 14:09:12 +02:00
Gabriel Ebner 47a68caa04 vimtex: use neovim-remote 2017-10-13 16:12:56 +02:00
Gabriel Ebner 57aeeadf61 vimrc: enable gutentags 2017-10-13 08:27:20 +02:00
Gabriel Ebner 96a061ca63 Update vimrc. 2017-10-10 09:31:04 +02:00
Gabriel Ebner 45c51e768c vim: add lean.vim 2017-06-18 15:47:51 +02:00
Gabriel Ebner 25037ae548 vim: add toml plugin 2017-03-31 09:55:12 +02:00
Gabriel Ebner 20b824270e vim: fix lean syntax highlighting 2016-08-14 20:45:21 +02:00