Hi, short update... this doesn't seem to be the case if I change edge = top to edge = bottom. Unfortunately I want my panel at the top edge.
Cheers Nico -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
