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

Tiling windows are partially obscured by non-hiding dock. #126

Closed
XV-02 opened this issue Mar 12, 2024 · 6 comments
Closed

Tiling windows are partially obscured by non-hiding dock. #126

XV-02 opened this issue Mar 12, 2024 · 6 comments

Comments

@XV-02
Copy link

XV-02 commented Mar 12, 2024

I believe this is a relatively recent regression, but am not positive.

When tiling, windows spawn such that their bottoms edges are obscured by the dock, but not such that their tops are obscured by the panels. Given that I believe this used to be working, and that as I understand it, the dock and the panel are built from the same underlying architecture, I'm inclined to think that the dock is the potential root cause.

@wash2
Copy link
Collaborator

wash2 commented Mar 12, 2024

I think I will need more information to replicate this issue. Is the dock set to autohide, but not hiding? And which app is being obscured?

@mmstick
Copy link
Member

mmstick commented Mar 12, 2024

Probably happens if the gap is enough to not trigger the autohide.

@XV-02
Copy link
Author

XV-02 commented Mar 12, 2024

Sorry: The dock is not set to auto-hide, hence "non-hiding".

Any application can be obscured. The key is that the desktop is in tiling mode. So, in tiling I launch an application - could be Term, Firefox, whatever - and it will spawn the window. The top of the window will border the panel. But the bottom of the window with stretch to the bottom of the screen, and get obscured by the dock, which is drawn above it.

@wash2
Copy link
Collaborator

wash2 commented Mar 12, 2024

Hmm ok, this might be because of some changes to the installed defaults. If you toggle autohide on and off in settings, does it fix the issue?

@wash2
Copy link
Collaborator

wash2 commented Mar 12, 2024

If that's the case, it should be fixed by f3fd857

@XV-02
Copy link
Author

XV-02 commented Mar 12, 2024

Yep. That resolved it. I'd only thought to try toggling the dock on/off.

@XV-02 XV-02 closed this as completed Mar 12, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants