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

too big gap between dock and workspace #2204

Closed
stigman9393 opened this issue Apr 20, 2024 · 7 comments
Closed

too big gap between dock and workspace #2204

stigman9393 opened this issue Apr 20, 2024 · 7 comments

Comments

@stigman9393
Copy link

hello, i cant see any option to decrease gap on overview. for now its too big if i can compare it to default gnome dock. how to addjust?

Zrzut ekranu z 2024-04-20 22-46-19
default

Zrzut ekranu z 2024-04-20 22-43-21
dash to dock

@vanvugt
Copy link
Collaborator

vanvugt commented Apr 22, 2024

Do you mean dash-to-dock is too small now, or did the gap and the workspace shrink instead?

@pchmykh
Copy link

pchmykh commented Apr 23, 2024

Nope, I have the same. Whole activity overview desktop size is different with dash-to-dock enabled, attaching two whole desktop screenshots, one with dash-to-dock enabled and other disabled. It is not about size of the dock, it is about whole desktop overview size. Also, dash-to-dock dock is placed slightly differently unlike default dash, less gap between dash and bottom of the screen.
So I think bug report should be renamed to something like 'desktop overview size in activity menu differs with default one with dash-to-dock extension enabled'
Screenshot from 2024-04-23 22-37-20
Screenshot from 2024-04-23 22-37-04

@3v1n0
Copy link
Collaborator

3v1n0 commented Apr 24, 2024

So, IIRC the reason why this space has been added was to make the application labels to be visible (and centered) when hovering a window.

I see that it's different in default dash, but complexity of options that we have lead to have a different behavior of the windows.

@stigman9393
Copy link
Author

So, IIRC the reason why this space has been added was to make the application labels to be visible (and centered) when hovering a window.

I see that it's different in default dash, but complexity of options that we have lead to have a different behavior of the windows.

but can i change it ? which line of css is to change this property?

@pchmykh
Copy link

pchmykh commented Apr 27, 2024

I think default size looks more clean also.

@stigman9393
Copy link
Author

So, IIRC the reason why this space has been added was to make the application labels to be visible (and centered) when hovering a window.

I see that it's different in default dash, but complexity of options that we have lead to have a different behavior of the windows.

but can i change it ? which line of css is to change this property?

I think default size looks more clean also.

yes, me too. dash to dock gap looks little bit weird if all elements have a different gap like for example search bar have rly small gap and dash to dock completly different like 50px

@vanvugt
Copy link
Collaborator

vanvugt commented Jun 4, 2024

Duplicate of #1815

@vanvugt vanvugt marked this as a duplicate of #1815 Jun 4, 2024
@vanvugt vanvugt closed this as not planned Won't fix, can't repro, duplicate, stale Jun 4, 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

4 participants