[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