Comment 7 for bug 1306472

Just a quick update: I made a quick-workaround in appmenu-qt5 which works (i.e. implementing the second solution I mentioned in my earlier comment). I still will look for other ways to work-around this, since I would prefer not to include more theme-specific logic into appmenu-qt5, but if I won't find any other solution we'll go with this one.

Thanks for all the input!