Kevin Kofler 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. Thanks. I haven't managed to find it yet, but I'm sure I will. -- Timothy Murphy e-mail: gayleard /at/ eircom.net tel: +353-86-2336090, +353-1-2842366 s-mail: School of Mathematics, Trinity College, Dublin 2, Ireland