Just commented out:
-- button-widget.c --
401: || GTK_WIDGET_HAS_FOCUS (widget)
467-483: if (GTK_WIDGET_HAS_FOCUS (widget)) {...}
-- panel-menu-bar.c --
298: if (GTK_WIDGET_HAS_FOCUS (menubar)) ...
First removes the launcher's highlight when clicking on the menu-bar (still
highlighted when pointing the mouse over the launcher).
Second removes the launcher's dotted focus border when clicking on the menu-bar
(completely removes it - that's maybe not wanted).
Third removes the menu-bar's dotted focus border when clicking on the menu-bar
(completely removes it - that's maybe not wanted).
As I don't know how the panel is supposed to work, this is just a
workaround for my pleasure.
--
Odd selection launchers/menu
https://bugs.launchpad.net/bugs/18361
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is a direct subscriber.
--
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
