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

Overview layout sizes fixes #1849

Merged
merged 8 commits into from
Oct 13, 2022
Merged

Conversation

3v1n0
Copy link
Collaborator

@3v1n0 3v1n0 commented Oct 9, 2022

No description provided.

Fixes a bug causing the dock to be hidden when closing a menu while
overview was visible (with autohide enabled).

LP: #1983130
We should not always hide the menus depending on the mouse position, but
this depends on the current user configurations.

LP: #1983130
Closes: micheleg#1769
We now need to also adapt the app-grid area to the available space in
order to correctly allocate the left/right buttons in autohide mode.
For some reason we need to use an even value, this is probably due to
the fact that such value is going to be proportional to the available
space.

Closes: micheleg#1612
LP: #1979096
When resizing the overview controls layout to adapt it to the dock size
we also need to take care of reducing the vertical size accordingly,
otherwise we may end up in cases in which we don't have space to show
multiple workspaces when in the window-picker mode.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
1 participant