[finishes #75077356] Set default min_workspace_height to 800px