Module jEdit

Class KeymapMigration

java.lang.Object
org.jedit.migration.KeymapMigration
All Implemented Interfaces:
MigrationService

public class KeymapMigration extends Object implements MigrationService
Extracts, removes the shortcuts from jEdit 4.5 properties, and places them into the "imported" keymap.
Author:
Matthieu Casanova
  • Constructor Details

    • KeymapMigration

      public KeymapMigration()
  • Method Details