2c0661d377
Refactor the current menu code to support both window selection and "normal" menu items. Add a "New Window" item which does what you'd expect. Clean up the way we handle highlighting the window items to be more direct; rather than looping over all items in most cases, just directly manipulate one item https://bugzilla.gnome.org/show_bug.cgi?id=594557