Created attachment 190402 [details] [review]
workspaces-view: Handle clip rectangle separately

After completing the overview transition, the workspace view is
clipped to avoid overlapping the search entry/view selector titles
while switching workspaces. For clipping, the view's position and
size was used, which works well assuming that the workspace pager
will start hidden or stay zoomed out while the overview is visible.
However, that assumption holds no longer true, as auto-hiding the
pager now depends on the number of workspaces, and thus may change
while in the overview. For instance, when starting with the pager
being visible, the clip area ends up being too small when moving
all windows to the first workspace (and thus triggering auto-hide).

As a fix, handle the clip rectangle separately from the view's
geometry, and set it always to the area the workspaces would
occupy with the pager hidden.

Created attachment 190405 [details] [review]
workspaces-view: Handle clip rectangle separately

Vertical position/height also have to be treated separately for the clip.

Comment on attachment 190405 [details] [review]
workspaces-view: Handle clip rectangle separately

seems to work

Attachment 190405 [details] pushed as 6ce07ab - workspaces-view: Handle clip rectangle separately