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

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

Dear Markus,

With a fresh 1.5.7 Toolbox installations (also delete the hidden .tlaplus folder; this is important to me), it works now.

Best regards,
Hengfeng Wei

On Thursday, November 15, 2018 at 12:33:40 PM UTC+8, Markus Alexander Kuppe wrote:
On 14.11.18 18:20, Hengfeng Wei wrote:
> Dear Markus,
> I got "vrapper disabled" at the bottom of toolbox on my Ubuntu (18.04 LTS).
> vrapper-disabled.png <about:invalid#zClosurez>
> "Vim's key bindings" appears. However, it does not work.
> By the way, the "Default" key bindings does not work either.
> key-binding.png <about:invalid#zClosurez>
> How should I enable vrapper in toolbox?
> Best regards,
> Hengfeng Wei


following my own instructions I successfully installed vrapper into the
1.5.7 Toolbox on Ubuntu 18.04. I then selected the Vim key binding in
the Toolbox's preference after which the Vim keybindings were active in
the spec editor.

I have no idea what is going on on your end but I suggest you start from
a fresh 1.5.7 Toolbox installations.

Hope this help,