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

[Markus Kuppe <tlaplus-go...@xxxxxxxxxxx>]

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

Hi,

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,
Markus