satellite/dotfiles/neovim

Neovim config

Keybinds

Table of my own keybinds. Here as documentation for myself. I am yet to include any of the keybinds for the lspconfig, telescope or cmp here.

Things written using italics are chords (aka all the keys need to be pressed at the same time)

Keybind	Description	Plugins
vv	Create vertical split
<Space><Space>	Save
jj	Exit insert mode
C-n	Open tree	nvim-tree
vp	Run command in another tmux pane	vimux, arpeggio
k	Insert digraph
a	Swap last 2 used buffers
sk	Move to previous lh-bracket marker	lh-brackets
sj	Move to next lh-bracket marker	lh-brackets
mo	Move outside the current brackets	lh-brackets
ml	Remove all markers and move to the last one	lh-brackets
C-hjkl	Navigation between vim & tmux panes	vim-tmux-navigator

Idris

The idris and arpeggio plugins are implicit here

Keybind	Description
sc	Case split
mc	Make case
ml	Make lemma
es	Expression search
gd	Generate definition
rh	Refine hole
ac	Add clause

Lean

• Extra brackets: ⟨⟩

Some cool vim keybinds I sometimes forget about

Documentation for myself

Keybind	Description	Plugins
zz	Center the current line
gcc	Comment line	nvim-comment
gc	Comment selection	nvim-comment