org.jedit.migration
Class KeymapMigration

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

public class KeymapMigration
extends java.lang.Object
implements MigrationService

Extracts, removes the shortcuts from jEdit 4.5 properties, and places them into the "imported" keymap.


Constructor Summary
KeymapMigration()
           
 
Method Summary
 void migrate()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

KeymapMigration

public KeymapMigration()
Method Detail

migrate

public void migrate()
Specified by:
migrate in interface MigrationService