1
0
Fork 0
mirror of synced 2024-12-25 00:03:20 -05:00

Merge pull request #2 from jaegukhyun/upstream/git_exp

Change git gutter setting and add jellybeans theme
This commit is contained in:
Jaeguk Hyun 2022-09-25 18:55:35 +09:00 committed by GitHub
commit c68f99e082
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 5 additions and 0 deletions

@ -0,0 +1 @@
Subproject commit ef83bf4dc8b3eacffc97bf5c96ab2581b415c9fa

View file

@ -175,6 +175,10 @@ let g:ale_lint_on_enter = 0
" => Git gutter (Git diff)
"""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""
let g:gitgutter_enabled=1
set updatetime=100
highlight! link SignColumn LineNr
autocmd ColorScheme * highlight! link SignColumn LineNr
set signcolumn=yes
nnoremap <silent> <leader>d :GitGutterToggle<cr>