-
Notifications
You must be signed in to change notification settings - Fork 8
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
Gnome dock/dash border #14
Comments
Yes, dash with Marble theme has border: /* Dash */
#dash .dash-background {
background-color: DASH-COLOR;
box-shadow: inset 0 0 0 1px BORDER-MENU-SHADOW;
padding: 4px 2px 4px 2px;
border-radius: 21px;
}
|
Pardon my ignorance. This is what it is currently:
Do I need to change the values to what you suggested? How would I go about changing or removing Just to be clear, I am using Gnome dash that only shows in overview. |
No, I just gave a part from unbuilt theme.
You can just remove the line with If you are going to change this value, you must follow these rules.
Was this value set by you or was it already there? |
Try to add |
Try to add |
Yep, they were all already there. Sorry for nitpicking, but I am a perfectionist ;-) This did the trick:
Thank you so much! I love you. Hope you have an awesome festive season. Ps. I think you can quite safely state that your theme is fully compatible with Gnome 42 also (Ubuntu 22.04.3 LTS) |
…rsion in theme.py Incorrect RGB values in borders was seen in #14
Hello again!
I did some changes to my setup -- using the default Gnome dock/dash, but it has a dark border:
And I noticed on your screenshot that no border is present:
Does your theme control this, and if so, is there a way to remove the border and also to make the opacity darker to match top bar menus?
The text was updated successfully, but these errors were encountered: