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 [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]

