Add magma config

anas-stuff · Jan 10, 2023 · f4501c4 · f4501c4
1 parent e3ef220
commit f4501c4
Show file tree

Hide file tree

Showing 3 changed files with 11 additions and 1 deletion.
diff --git a/coc-settings.json b/coc-settings.json
@@ -18,5 +18,6 @@
   "explorer.keyMappings.global": {
     "<cr>": ["expandable?", "expand", "open"],
     "v": "open:vsplit"
-  }
+  },
+  "clangd.path": "~/.config/coc/extensions/coc-clangd-data/install/14.0.3/clangd_14.0.3/bin/clangd"
 }
diff --git a/init.vim b/init.vim
@@ -16,5 +16,6 @@ source $HOME/.config/nvim/plug-config/auto-save.vim
 source $HOME/.config/nvim/plug-config/wich-key.vim
 source $HOME/.config/nvim/plug-config/indent-line.vim
 source $HOME/.config/nvim/plug-config/nerdcommenter.vim
+source $HOME/.config/nvim/plug-config/magma.vim
 
 luafile $HOME/.config/nvim/lua/plug-colorizer.lua
diff --git a/plug-config/magma.vim b/plug-config/magma.vim
@@ -0,0 +1,8 @@
+nnoremap <silent><expr> <LocalLeader>r  :MagmaEvaluateOperator<CR>
+nnoremap <silent>       <LocalLeader>rr :MagmaEvaluateLine<CR>
+xnoremap <silent>       <LocalLeader>r  :<C-u>MagmaEvaluateVisual<CR>
+nnoremap <silent>       <LocalLeader>rc :MagmaReevaluateCell<CR>
+nnoremap <silent>       <LocalLeader>rd :MagmaDelete<CR>
+nnoremap <silent>       <LocalLeader>ro :MagmaShowOutput<CR>
+
+let g:magma_automatically_open_output = v:false