[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?