Joint preferences/shortcuts.
There are a lot of overlaps between preference/shortcut definitions
of extensions (e.g. FileBrowser <->FileSelector) or platform
components
(e.g. WorkspaceView <->PreferenceView).
This “ambiguities” can be solved by introducing joint preferences.
However, such an approach may require some changes in the class
structure
as well as the Preference GUI.
(from redmine: issue id 1619, created on 2014-03-30 by root, closed on 2016-07-14)
- Relations:
- parent #2294