Email Gateway (Aug 22 2022 at 10:54): Email Gateway (Aug 22 2022 at 10:54):From: Ramana Kumar <rk436@cam.ac.uk>
Hi list,
Does anyone use Vim keybindings (and/or any other Vim emulation options)
with Isabelle/jEdit?
If you do, I would like to know how you would recommend setting that up.
(For example, are there any jEdit settings or configuration files that can
be used, or any plugins?)
If you would be interested in using Vim keybindings, but are not aware of
any suitable options to use them with Isabelle/jEdit, then also please get
in touch with me. In that case I would be interested in working on
improving or implementing a plugin providing this functionality.
Thanks,
Ramana
Last updated: Apr 19 2024 at 16:20 UTC