From 4a734f2eaf1a82502be16381d738fea6bce1cf7f Mon Sep 17 00:00:00 2001
From: Rachel Lambda Samuelsson <depsterr@protonmail.com>
Date: Tue, 10 Oct 2023 21:58:28 +0200
Subject: [PATCH] fix binds due to weird terminal behaviour

---
 home/rachel.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/home/rachel.nix b/home/rachel.nix
index 392138e..2fe9d0b 100644
--- a/home/rachel.nix
+++ b/home/rachel.nix
@@ -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>