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

Gnome 41: The dash (dock) sits above the overview, meaning it obscures things like window titles. #1608

Closed
Arcitec opened this issue Dec 4, 2021 · 4 comments · Fixed by #1655
Closed

Gnome 41: The dash (dock) sits above the overview, meaning it obscures things like window titles. #1608

Arcitec opened this issue Dec 4, 2021 · 4 comments · Fixed by #1655

Comments

@Arcitec
Copy link

Arcitec commented Dec 4, 2021 •
edited
Loading

This issue happens in the Gnome Overview / Activities view.

  • Without Dash to Dock, all window titles show above the dock.
  • With Dash to Dock, the titles are hidden behind the dock.

Here's an image of the issue:

image
@dnut
Copy link

dnut commented Dec 9, 2021

Ideally there would be a margin between the dock and the windows so nothing has to overlap.

@Arcitec
Copy link
Author

Arcitec commented Dec 11, 2021

@dnut I guess so but that would be more invasive. I just hope the core functionality can be restored.

I suspect that the cause is something like "Dash to Dock" modifies the Dash CSS to "always on top" via a high z-index.

The fix would be something like modifying the window label CSS to "always on top + 1". :)

@somepaulo
Copy link

Ideally there would be a margin between the dock and the windows so nothing has to overlap.

In vanilla Gnome there's no margin, but whatever window you hover over is brought to the top and things appear above the dash, overlapping it. When you hover over the dash again, you're no longer hovering over a window, so the window name disappears, and there's no ugly overlapping.

3v1n0 added a commit to 3v1n0/dash-to-dock that referenced this issue Jan 24, 2022
@3v1n0
docking: Reduce the space used by the window picker / app grid
b954e18 
We used to reduce the overlay space when window picker or app grid were
shown by presenting the thumbnails box, but this is still leaving the
widgets too big and with wrong proportions, which may lead to obscure
some parts or to make windows tooltips to cover bottom docks, so let's
stay close to upstream on this.

Fixes: micheleg#1608
@3v1n0 3v1n0 linked a pull request Jan 24, 2022 that will close this issue
GNOME 41 round of fixes #1655
Merged
3v1n0 added a commit to 3v1n0/dash-to-dock that referenced this issue Jan 24, 2022
@3v1n0
docking: Reduce the space used by the window picker / app grid
8065d98 
We used to reduce the overlay space when window picker or app grid were
shown by presenting the thumbnails box, but this is still leaving the
widgets too big and with wrong proportions, which may lead to obscure
some parts or to make windows tooltips to cover bottom docks, so let's
stay close to upstream on this.

Fixes: micheleg#1608
3v1n0 added a commit to 3v1n0/dash-to-dock that referenced this issue Feb 4, 2022
@3v1n0
docking: Reduce the space used by the window picker / app grid
3eacd13 
We used to reduce the overlay space when window picker or app grid were
shown by presenting the thumbnails box, but this is still leaving the
widgets too big and with wrong proportions, which may lead to obscure
some parts or to make windows tooltips to cover bottom docks, so let's
stay close to upstream on this.

Fixes: micheleg#1608
3v1n0 added a commit to 3v1n0/dash-to-dock that referenced this issue Feb 23, 2022
@3v1n0
docking: Reduce the space used by the window picker / app grid
8a0356a 
We used to reduce the overlay space when window picker or app grid were
shown by presenting the thumbnails box, but this is still leaving the
widgets too big and with wrong proportions, which may lead to obscure
some parts or to make windows tooltips to cover bottom docks, so let's
stay close to upstream on this.

Fixes: micheleg#1608
3v1n0 added a commit that referenced this issue Feb 24, 2022
@3v1n0
docking: Reduce the space used by the window picker / app grid
f093614 
We used to reduce the overlay space when window picker or app grid were
shown by presenting the thumbnails box, but this is still leaving the
widgets too big and with wrong proportions, which may lead to obscure
some parts or to make windows tooltips to cover bottom docks, so let's
stay close to upstream on this.

Fixes: #1608
@3v1n0 3v1n0 mentioned this issue Apr 11, 2022
Closed
micheleg pushed a commit that referenced this issue Apr 28, 2022
@3v1n0 @micheleg
docking: Reduce the space used by the window picker / app grid
5cf2cab 
We used to reduce the overlay space when window picker or app grid were
shown by presenting the thumbnails box, but this is still leaving the
widgets too big and with wrong proportions, which may lead to obscure
some parts or to make windows tooltips to cover bottom docks, so let's
stay close to upstream on this.

Fixes: #1608
@Arcitec
Copy link
Author

Arcitec commented Jun 5, 2022 •
edited
Loading

I don't understand the fixes (it's adding padding between the overview's window selector and the dock?), but I can confirm that the latest Dash 2 Dock master build as of today + GNOME 42.2 = Looks Perfect. Thank you! @3v1n0 ❤️

@taoky taoky mentioned this issue Mar 1, 2024
Closed
@taoky taoky mentioned this issue Mar 25, 2024
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

GNOME 41 round of fixes 3v1n0/dash-to-dock
3 participants
@dnut @somepaulo @Arcitec