-RM-267-MR-Advanced, filterable module menu.
As the default QMenu creates several issues especially on Mac, we replace it by our own menu, completely implemented using custom widgets. It should provide the following features:
- filter module list
- provide most recently used modules for direct access
- provide most often used modules for direct access
- optional: provide module documentation on mouse hover?
- this heavily depends on the time needed to render the module doc html in Qt.
(from redmine: created on 2013-03-27, relates #121 (closed))