Package org.jedit.migration

Class KeymapMigration

java.lang.Object

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.

Author:

Matthieu Casanova

Constructor Summary

Constructors

Constructor	Description
KeymapMigration()

Method Summary

Modifier and Type	Method	Description
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