search

verus-lang / verus-mode.el

Support for Verus programming in Emacs
BSD 3-Clause "New" or "Revised" License
5 stars 0 forks source link

Improved keybindings for moving between errors #2

Closed jaybosamiya closed 1 year ago

jaybosamiya commented 1 year ago

Also, we might want to consider setting the next-error/pre-error keybinds as C-c C-n and C-c C-p or such. Using the pre-existing ones in flycheck is not particlarly ergonomic

jaybosamiya commented 1 year ago

Turns out verus-mode-hook already exists once we define a new major mode, so only the new keybindings were needed.