de.uka.ilkd.key.gui.keyshortcuts
Classes
KeyStrokeManager
KeyStrokeSettings
ShortcutSettings