diff --git a/ftplugin/idris2.vim b/ftplugin/idris2.vim
index 5cd15e9..22aa93f 100644
--- a/ftplugin/idris2.vim
+++ b/ftplugin/idris2.vim
@@ -279,17 +279,5 @@ nnoremap <buffer> <silent> <LocalLeader>mc :call IdrisMakeCase()<ENTER>
 nnoremap <buffer> <silent> <LocalLeader>i 0:call IdrisResponseWin()<ENTER>
 nnoremap <buffer> <silent> <LocalLeader>h :call IdrisShowDoc()<ENTER>
 
-menu Idris.Reload <LocalLeader>r
-menu Idris.Show\ Type <LocalLeader>t
-menu Idris.Evaluate <LocalLeader>e
-menu Idris.-SEP0- :
-menu Idris.Add\ Clause <LocalLeader>a
-menu Idris.Generate\ Definition <LocalLeader>g
-menu Idris.Add\ with <LocalLeader>w
-menu Idris.Case\ Split <LocalLeader>c
-menu Idris.Add\ missing\ cases <LocalLeader>m
-menu Idris.Proof\ Search <LocalLeader>s
-menu Idris.Proof\ Search\ with\ hints <LocalLeader>p
-
 au BufHidden idris-response call IdrisHideResponseWin()
 au BufEnter idris-response call IdrisShowResponseWin()