Ubuntu
gnome-panel package

  1. Bug #18361
  2. Comment #6

Comment 6 for bug 18361

Revision history for this message
kgerstl (kgerstl-deactivatedaccount) wrote :

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.