Closed supermihi closed 9 years ago
We need both local (wrt. dockwidgets) and global shortcuts. They should be user-configurable.
We need both local (wrt. dockwidgets) and global shortcuts. They should be user-configurable.