[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] Ability to use Vim keystrokes with TLA+ Toolbox?

Wow...That was really easy and seems to work great!  Thank you for your help!

On Saturday, May 6, 2017 at 10:47:39 AM UTC-4, Yoriyasu Yano wrote:
I managed to get Vrapper to work by manually extracting the contents and moving the files into the toolbox directory (on linux). Vrapper should extract two folders, features and plugins, and I simply copied those into folders of the same name within the Toolbox application directory.

On Sat, May 6, 2017 at 7:23 AM, Thomas Gebert <thom...@xxxxxxxxx> wrote:
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? 

You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+u...@googlegroups.com.
To post to this group, send email to tla...@xxxxxxxxxxxxxxxx.
Visit this group at https://groups.google.com/group/tlaplus.
For more options, visit https://groups.google.com/d/optout.

Yoriyasu Yano