Hi
One small thing: while it's true that the check boxes are not the best
choice, radio buttons would not be much better: you would either lose
the ability to disable the side pane altogether or you would need a
third option ("Disable"?). I guess that's the reason why it currently
uses the check boxes.
cheers
--
Stefan Ott
http://www.ott.net/
"You are not Grey Squirrel?"
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
