d0d82cdf7e
Introduce a new menu widget, which displays the active item from a set of options, and pops up a child menu to allow changing the active item when activated. https://bugzilla.gnome.org/show_bug.cgi?id=652837