Gnome Do offers a thing called “Docky” which is somewhat like the Mac OS X Dock. I’ve become quite fond of it.

Docky has an autohide mode, so that it will only appear when your mouse goes below the bottom edge of the screen.

I have dual monitors at home and at work, and I’m afraid that if auto-hide is on, Docky disappears and won’t come back, except for the odd flicker. This is a problem, because the only easy way to toggle auto-hide mode is by right-clicking on Docky.

I realised that this setting was probably in gconf. It is. You can use gconf-editor to find Gnome Do’s settings and tweak Docky autohide there. Problem solved.

Also, bug reported.