-
Lars Uebernickel authored
Without a margin, the pointer is above the first (or last) menu item, making it easy to accidentally activate that item. https://bugzilla.gnome.org/show_bug.cgi?id=591258
a5d5106f
Without a margin, the pointer is above the first (or last) menu item, making it easy to accidentally activate that item. https://bugzilla.gnome.org/show_bug.cgi?id=591258