> you can open the panel configuration bar by clicking on the panel's cashew, > with the configuration bar open you can delete every widget, even those > that don't bring their own context menu. Does that solve the problem for > you?
Yes. Thank you for the tip! Should I keep this open as a minor issue/wishlist item? Antonio -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org