search

Timvde / UserChrome-Tweaks

A community maintained repository of userChrome.css tweaks for Firefox
GNU General Public License v3.0
1.25k stars 121 forks source link

Create 1px-padding-over-tabs.css #36

Closed BubiBalboa closed 6 years ago

Timvde commented 6 years ago

Did you check that the original author is fine with submitting the style and making it GPL?

BubiBalboa commented 6 years ago

Yes, he is aware and approves.

Timvde commented 6 years ago

In that case: thank you both!

Timvde commented 6 years ago

Looks like this will be a setting in Firefox 57 (here's the gif). Is there any reason to keep it, or do you think we should back this out?

BubiBalboa commented 6 years ago

Good question. Nice to see they will add that setting. In the gif it looks way to big for my taste though. I'd say delete that style and I'll add it again if the official setting needs tweaking.

E: It looks like the setting is only for windowed mode and does nothing when maximized. Which is real dumb, imo. Maybe keep the style till we see how it plays out?

Timvde commented 6 years ago

Yea, even before your edit, I wanted to reply "Let's keep it instead, and see if we get rid of it later". I'll leave it in for now. Thanks for your feedback! :)