Argh, Ctrl+Space (to show/hide docked widgets) doesn't work on OS X!