Cleaner window undocking: restore previous window size and center the window header on the mouse cursor if it would be outside the window.
Added desktop content rect: docked windows affect the position of widgets that are children of the desktop.
Don't need special desktop functions to get/set size, use the generic widget ones.