Open Bug 1274143 Opened 8 years ago Updated 2 years ago

use native padding around menubar menu labels

Categories

(Core :: Widget: Gtk, defect, P4)

Product:
Core
Component:
Widget: Gtk
Type:
defect

Tracking

()

Tracking Flags:
Tracking Status
firefox49 --- affected

People

(Reporter: karlt, Unassigned)

Details

(Whiteboard: tpi:+) 

As observed in https://bugzilla.mozilla.org/show_bug.cgi?id=1272194#c20 the
border and padding around menu labels in the menubar is not from the GTK
theme.

The menu items in popup menus do use the border and padding from the
GTK theme.  That was provided by

https://hg.mozilla.org/mozilla-central/rev/510560dbd1be

The associated bug indicates that not overriding document padding for menulist
items was intentional to avoid bug 406129, but I don't see any reason given for
not applying this to menubar menu labels.
Priority: -- → P4
Whiteboard: tpi:+
Severity: normal → S3
You need to log in before you can comment on or make changes to this bug.