You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The idea is to reduce the effective monitor size by the width of the docked window when positioning and resizing the tiled windows.
The docked window should probably be styled like a tiled window, ie. maximized vertically with square corners. It's not obvious if we want a margin between the edge of the docked window and the tiling as might look weird:
But the visual effect might be somewhat subtle without a margin (and means you can't always click on the next window):
The text was updated successfully, but these errors were encountered:
The idea is to reduce the effective monitor size by the width of the docked window when positioning and resizing the tiled windows.
The docked window should probably be styled like a tiled window, ie. maximized vertically with square corners. It's not obvious if we want a margin between the edge of the docked window and the tiling as might look weird:
![image](https://user-images.githubusercontent.com/71978/39451232-76fd010a-4cbd-11e8-906e-b73717f17531.png)
But the visual effect might be somewhat subtle without a margin (and means you can't always click on the next window):
![image](https://user-images.githubusercontent.com/71978/39451286-ace8cdee-4cbd-11e8-8b17-9c47d8fc45a7.png)
The text was updated successfully, but these errors were encountered: