 Gabriel Ebner
|
a6ecff72f0
|
vim default colors
|
2024-09-08 17:24:31 -07:00 |
|
Gabriel Ebner
|
5d524057ce
|
Use monokai colorscheme in vim.
|
2024-09-07 19:46:17 -07:00 |
|
Gabriel Ebner
|
b86b3d4fac
|
Add F* support.
|
2024-08-23 18:40:07 -07:00 |
|
Gabriel Ebner
|
05d0318fee
|
show_line_diagnostics has been removed from nvim
|
2024-08-23 18:39:13 -07:00 |
|
Gabriel Ebner
|
dfa6866c9d
|
vim: add terraform support
|
2024-08-10 22:54:59 +00:00 |
|
Gabriel Ebner
|
90315712ef
|
Use pylsp.
|
2024-08-10 09:48:48 -07:00 |
|
Gabriel Ebner
|
e8c6967897
|
vim: use lua_ls
|
2023-03-02 21:00:21 -08:00 |
|
Gabriel Ebner
|
b321b9856f
|
lua-dev -> neodev
|
2022-12-17 17:15:37 -08:00 |
|
Gabriel Ebner
|
ddd68a93cd
|
vim: fix workspace symbols
|
2022-04-28 20:47:31 +02:00 |
|
Gabriel Ebner
|
e24d9dd195
|
vim: lean
|
2022-04-06 18:54:47 +02:00 |
|
Gabriel Ebner
|
3677b0d510
|
vim: disable highlights
|
2022-04-02 20:33:35 +02:00 |
|
Gabriel Ebner
|
343fd49781
|
Less glaring color scheme for references.
|
2022-02-03 14:18:16 +01:00 |
|
Gabriel Ebner
|
4e6a686292
|
vimrc: lean
|
2022-01-25 11:16:31 +01:00 |
|
Gabriel Ebner
|
fcc70c9656
|
vim: borders
|
2022-01-09 13:01:16 +01:00 |
|
Gabriel Ebner
|
8f654a5cbf
|
vim: add commands for (term)goals
|
2021-12-12 12:08:05 +01:00 |
|
Gabriel Ebner
|
fc8a90331a
|
vim: lean3 comment def
|
2021-12-07 19:30:12 +01:00 |
|
Gabriel Ebner
|
fafa8c9793
|
New lean.nvim features.
|
2021-12-07 14:30:02 +01:00 |
|
Gabriel Ebner
|
f59879acbe
|
Simplify osc52 code.
|
2021-10-31 11:38:30 +01:00 |
|
Gabriel Ebner
|
f5ec5806ed
|
nvim: add osc52 support
|
2021-10-30 18:30:42 +02:00 |
|
Gabriel Ebner
|
9f8800ae17
|
vim: new Pmenu highlighting
|
2021-10-30 16:25:46 +02:00 |
|
Gabriel Ebner
|
6b63a64749
|
Remove slow tree sitter stuff.
|
2021-10-28 12:08:05 +02:00 |
|
Gabriel Ebner
|
fb0d08d659
|
nvim: enable mouse
|
2021-09-21 11:53:00 +02:00 |
|
Gabriel Ebner
|
ba2b16e9cc
|
vim: require plenary
|
2021-08-05 11:41:59 +02:00 |
|
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 |