fix binds due to weird terminal behaviour

This commit is contained in:
Rachel Lambda Samuelsson 2023-10-10 21:58:28 +02:00
parent b6adbfa3e9
commit 4a734f2eaf

View File

@ -200,8 +200,8 @@ in
nnoremap <buffer> <C-c><C-l> :CornelisLoad<CR>
nnoremap <buffer> <C-c><C-r> :CornelisRefine<CR>
nnoremap <buffer> <C-c><C-c> :CornelisMakeCase<CR>
nnoremap <buffer> <C-c><C-,> :CornelisTypeContext<CR>
nnoremap <buffer> <C-c><C-.> :CornelisTypeContextInfer<CR>
nnoremap <buffer> <C-c>, :CornelisTypeContext<CR>
nnoremap <buffer> <C-c>. :CornelisTypeContextInfer<CR>
nnoremap <buffer> <C-c><C-d> :CornelisTypeInfer<CR>
nnoremap <buffer> <C-c><C-s> :CornelisSolve<CR>
nnoremap <buffer> <C-c><C-a> :CornelisAuto<CR>