Rated 4 out of 5 stars
I very much like and find useful this 'hide' addon. Thankyou.
The only thing I see, I would like changed is that under 'auto hide' state, the 'un-hide' should not happen when hovering over tabs. hide / un-hide is annoying as tabs keep 'moving'.. lolo