search

Thoma5 / gnome-shell-extension-bottompanel

Move your GNOME 3.16+ shell panel to the bottom
19 stars 6 forks source link

potential fix for panel bubble location #6

Closed robinplace closed 8 years ago

robinplace commented 8 years ago

First off, nice extension.

I've figured out a workaround in my own system for your known issue with the panel bubble's location being several pixels too high. Adding the following rule to my user theme's gnome-shell.css makes it just beautiful:

.popup-menu.panel-menu {
    margin-bottom: 0;
}

I don't know Gnome's JS APIs well, but I'd bet there's some simple way to load in this CSS, overriding the user theme's style.

Thoma5 commented 8 years ago

Oh nice! Should be possible to integrate into the Extension somehow, will look into it :D Thanks!

Thoma5 commented 8 years ago

Thanks a lot, fixed it, will be included in the next version :D

robinplace commented 8 years ago

Gnome. In Chrome OS style.

Here's a shot of my setup your extension has made possible.

Thoma5 commented 8 years ago

Wow, looks great! Reminds me of ChromeOs. What else have you done for this result? Gnome should use the arc theme as default instead of adwaita imho.