search

Timvde / UserChrome-Tweaks

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

Support the extra drag space option in auto-hide.css #130

Closed different55 closed 5 years ago

different55 commented 5 years ago

Adds an extra set of rules that apply to non-maximized windows with extra drag space enabled. The extra drag space steals about 8 pixels of height from the tabs, so when that option is enabled and when the window is not maximized, we need to adjust the tab height.

Timvde commented 5 years ago

In the future, you can add the extra explanation to the commit message :) I like them to be elaborate.

different55 commented 5 years ago

Will do!