org.jedit.keymap

Interface KeymapManager