Timothy Murphy wrote:
> Incidentally, how does one see the "taskbar settings"
> mentioned in several of the bugzilla comments?
Click on the "cashew" at the right end of the panel to enter panel setup
mode, then right-click on the taskbar and it'll be in the context menu.
Kevin Kofler