Note that a temporary work around is to drag the mouse out of the menu area before releasing the mouse. The menu will then remain open and act as expected, i.e. one can drag inside the menu and it will scroll correctly.
Andreas -- Andreas Guelzow <aguel...@pyrshep.ca> -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
