prefs
|
Add custom page for key bindings.
|
2016-07-27 19:15:24 -04:00 |
render
|
Move tool tip processing to ShortcutManager,
|
2016-07-29 16:02:46 -04:00 |
tools
|
More shortcuts.
|
2016-07-27 01:53:21 -04:00 |
widget
|
Move tool tip processing to ShortcutManager,
|
2016-07-29 16:02:46 -04:00 |
world
|
More shortcuts.
|
2016-07-27 01:53:21 -04:00 |