Class | Description |
---|---|
KeyStrokeManager |
Manager of the configurable
KeyStroke s for proof macros and GUI actions. |
KeyStrokeSettings |
A settings for storing and retrieving
KeyStroke s. |
ShortcutSettings |
UI for configuring the
KeyStroke s inside KeY. |
Copyright © 2003-2019 The KeY-Project.