#Place both arrows at the top of the menu.
	new top `{ return GTK_ARROWS_START; `}