> 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

Reply via email to