-
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.
6dbdee69