-
Cosimo Cecchi authored
We already make them non-selectable - there's no point in having a menu for headings here. https://bugzilla.redhat.com/show_bug.cgi?id=819404
7f762ed7
We already make them non-selectable - there's no point in having a menu for headings here. https://bugzilla.redhat.com/show_bug.cgi?id=819404