GNOME Bugzilla – Bug 730753
popupMenu: Hide separator label when not in use
Last modified: 2014-05-27 17:52:15 UTC
See patch. Spotted while working on bug 730752.
Created attachment 277187 [details] [review] popupMenu: Hide separator label when not in use The optional label support introduced in commit af063dc2f2ec broke the centering of separators, as the label still adds additional spacing even when empty. Properly hide the label actor in that case to fix the alignment.
Review of attachment 277187 [details] [review]: OK.
Attachment 277187 [details] pushed as 38d8e46 - popupMenu: Hide separator label when not in use