Rated 4 out of 5 stars

Instead of making narrower the top bar this add-on just makes narrower the tab bar. That results in bad behavior with other bars on top. As an example - TabGroup Manager add-on that looks perfectly on the top in the full-screen mode and looks awful with this add-on.

This review is for a previous version of the add-on (