I have tried to remap the keys according to emacs evil colemak
A vi-emulator for jEdit.
This project is a "fork" of the jEdit Plugin Vimulator, modified to work for JDK 15 and jEdit 5+ (or whatever Isabelle/jEdit is currently using).
This project is WIP, but already features
- vi-like navigation
- basic commands (i.e. w,q)
- insertion, replace and visual modes
- the 3 visual modes, visual, visual block and visual line
- yanking
- multiple caret editing
This plugin is not (yet) available via the official Plugin Manager.
You may however manually install the compiled Plugin as a "User Plugin".
For Isabelle/jEdit 2021 on Linux/Mac, the user plugin path is $HOME/.isabelle/Isabelle2021/jedit/jars
.
For Isabelle/jEdit 2021 on Windows, the user plugin path is %HOMEPATH%\.isabelle\Isabelle2021\jedit\jars
.
You may find the corresponding Vimulator.jar
under Releases or by building the project yourself.
Setup ant to point at the correct jdk and jEdit version in build.xml
.
Then run
ant dist
to build the jar File. This file can then be manually installed in jEdit via the Plugin Manager.