Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Make it possible to dock windows at the edges of the monitor #50

Open
hedning opened this issue Apr 30, 2018 · 0 comments
Open

Make it possible to dock windows at the edges of the monitor #50

hedning opened this issue Apr 30, 2018 · 0 comments
Labels
enhancement Adds a new feature or extends scope

Comments

@hedning
Copy link
Member

hedning commented Apr 30, 2018

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

But the visual effect might be somewhat subtle without a margin (and means you can't always click on the next window):
image

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement Adds a new feature or extends scope
Projects
None yet
Development

No branches or pull requests

1 participant