Class 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

      Constructors 
      Constructor Description
      KeymapMigration()  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      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()