bibliothek.extension.gui.dock.preference.editor
Classes
ChoiceEditor
KeyStrokeEditor
ModifierMaskEditor