java.lang.Object
org.jedit.migration.KeymapMigration
- All Implemented Interfaces:
MigrationService
Extracts, removes the shortcuts from jEdit 4.5 properties, and places them into the "imported" keymap.
- Author:
- Matthieu Casanova
-
Constructor Summary
-
Method Summary
-
Constructor Details
-
KeymapMigration
public KeymapMigration()
-
-
Method Details
-
migrate
public void migrate()- Specified by:
migrate
in interfaceMigrationService
-