Bad dock/panel interaction on reload.

[bbidulock]

This is here so I don't forget it.

When reloading (e.g. as a result of a theme change), panels will overlap the dock (in tiling modes), whereas, before the reload, the dock got out of the way of panels. This is annoying.