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