Workaround: fortunately, it can be made somewhat usable, if panel auto-hiding is enabled (Panel Preferences -> Advanced -> Minimise panel when not in use).
---- Best wishes, Bob -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
