2015-08-01 07:29:25 UTC
Does anyone use Vim keybindings (and/or any other Vim emulation options)
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.