- For video edit workspace, when window size grows, if timeline at the bottom is closed, keep it closed.
This is done for video edit workspace but will work on any other workspace.
This restores the expected functionality that was removed with e8c9e85401ef.
- Moved "make each window at least ED_area_headersize() high" part, so that it will only fire when window is shrinking.
- Always add 2 * U.pixelsize for headery. With global areas, no screen area is ever at the edge, even if status bar is collapsed.