This commit is contained in:
Michael Zhang 2021-06-07 10:08:30 -05:00
parent 0c60949d03
commit 3b784b92d5
Signed by: michael
GPG key ID: BDA47A31A3C8EE6B
2 changed files with 3 additions and 1 deletions

View file

@ -150,7 +150,7 @@ font:
#style: Bold Italic
# Point size
size: 10
size: 8.5
# Offset is the extra space around each character. `offset.y` can be thought
# of as modifying the line spacing, and `offset.x` as modifying the letter

View file

@ -13,6 +13,8 @@ exe 'source' (stdpath('config') . '/nerdtree.vim')
" Plug 'ctrlpvim/ctrlp.vim'
let g:ctrlp_user_command = 'rg %s --files --color=never --glob ""'
Plug 'FStarLang/VimFStar', {'for': 'fstar'}
" Plug 'jiangmiao/auto-pairs', { 'for': 'rust' }
" Plug 'kovisoft/slimv', { 'for': 'lisp' }
" Plug 'leafOfTree/vim-svelte-plugin'