• Michael Catanzaro's avatar
    notebook: Do not use a popover for the tab selection menu · 6dbdee69
    Michael Catanzaro authored
    GTK+ popover menus are not scrollable, so they are not suitable for a
    menu that needs to accomodate huge numbers of items. Currently it is
    quite easy to wind up with the menu flowing off the bottom of the
    screen, with the menu items becoming inaccessible.