builder: integrate menus more properly
We have menu-valued properties now, so it would be convenient to write:
<property name="menu">
<menu ...
But GtkBuilder only allows menus at the toplevel, it seems.
We have menu-valued properties now, so it would be convenient to write:
<property name="menu">
<menu ...
But GtkBuilder only allows menus at the toplevel, it seems.