https://github.com/nielstron/vimulator

A vim-emulator for jEdit 5
https://github.com/nielstron/vimulator

emulation jedit vim

Last synced: 8 days ago
JSON representation

A vim-emulator for jEdit 5

• Host: GitHub
• URL: https://github.com/nielstron/vimulator
• Owner: nielstron
• License: gpl-2.0
• Created: 2021-03-13T01:02:09.000Z (almost 4 years ago)
• Default Branch: dev
• Last Pushed: 2023-04-04T16:37:47.000Z (almost 2 years ago)
• Last Synced: 2024-05-01T13:15:21.882Z (10 months ago)
• Topics: emulation, jedit, vim
• Language: Java
• Homepage:
• Size: 104 KB
• Stars: 14
• Watchers: 3
• Forks: 3
• Open Issues: 7
• Metadata Files:
  • Readme: README.md
  • License: COPYING.txt

Awesome Lists containing this project

README

        
# Vimulator

[![Build Status](https://app.travis-ci.com/nielstron/vimulator.svg?branch=master)](https://app.travis-ci.com/nielstron/vimulator)

A vi-emulator for jEdit.

This project is a "fork" of the jEdit Plugin [Vimulator](http://plugins.jedit.org/plugins/?Vimulator),

modified to work for JDK 15 and jEdit 5+ (or whatever [Isabelle/jEdit](https://isabelle.in.tum.de/) 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

## Installation

This plugin is available via the [official Plugin Manager](http://plugins.jedit.org).

You can install it using the Plugin Manager

#### Manual installation

If you do not want to install the plugin through the normal route, you may manually install the compiled Plugin [as a "User Plugin"](http://plugins.jedit.org/install.php).

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](https://github.com/nielstron/vimulator/releases) or by building the project yourself.

## Building

Setup ant to point at the correct jdk and jEdit version in `build.xml`.

Then run

```bash

ant dist

```

to build the jar File.

This file can then be manually installed in jEdit via the Plugin Manager.