MainView: preferences in menu
detail level 0 preferences should automatically be present in the menu.
this most likely need implementation of custom menu items which share some code with the prefsmanipulator (just the inner stuff, not the workspace related stuff)
(from redmine: issue id 2305, created on 2016-04-07 by benjamin.fischer)
- Relations:
- parent #2294