No there is no longer a problem. My suspicion is that it was related to the deskop theme I was using not interacting with some widgets properly. Unfortunately I can't remember which theme it was now. I'd actually completely forgotten about posting this. It can probably be closed now but I can't see where to do that.
-- dialogue boxes not rendering correctly https://launchpad.net/bugs/47559 -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
