[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Ability to use Vim keystrokes with TLA+ Toolbox?
This is admittedly kind of petty, but I am having a slight bit of trouble navigating around the Eclipse-based Toolbox, as I use Vim keystrokes basically everywhere.
Traditionally when I've used Eclipse I've installed a plugin to give me basic Vim support, but I don't see an option to install any plugins in the Toolbox. Has anyone here figured out a way to do that?