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.

Sign up for GitHub

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

Jump to bottom

docking: Do ControlsManagerLayout allocation with box-adjusted workArea #2020

Merged
merged 3 commits into from
Jun 2, 2023
Merged

docking: Do ControlsManagerLayout allocation with box-adjusted workArea #2020

merged 3 commits into from
Jun 2, 2023

Commits on May 31, 2023

  1. docking: Do ControlsManagerLayout allocation with box-adjusted workArea 

    We were allocating the ControlsManagerLayout using the whole work area
geometry but then in the auto-hide mode we were reducing the size of the
available area again, creating problems when the available space was
reduced. Leading to non-clickable or activatable search results.

To prevent this, perform layout allocation using the available space
even when the dock is in autohide mode.

Closes: micheleg#1612
LP: #1979096
    @3v1n0
    3v1n0 committed May 31, 2023
    Configuration menu
    Copy the full SHA
    5f4d485 View commit details
    Browse the repository at this point in the history

  2. docking: Be more consistent in reducing the overlay layout space 

    We used different behavior depending on the state, but we can just be
consistent and reduce the vertical space used in the same way
    @3v1n0
    3v1n0 committed May 31, 2023
    Configuration menu
    Copy the full SHA
    c35bde8 View commit details
    Browse the repository at this point in the history

  3. docking: Add both bottom and top spacing when there are no workspaces… 

    … thumbs
    @3v1n0
    3v1n0 committed May 31, 2023
    Configuration menu
    Copy the full SHA
    8181c3d View commit details
    Browse the repository at this point in the history