Package org.jedit.migration

One-time migration steps

See:
          Description

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

Package org.jedit.migration Description

One-time migration steps