Assegnate 4 su 5 stelle

di cousteau_lc il Marzo 21, 2015 · link permanente

Does exactly what it says; nothing more, nothing less.
The default scrolling direction is reversed; other implementations of scrollable tabs such as Gnome's tab widget do it the other way around. Can be changed though (but I think the default should be reversed; it's a bit counter-intuitive).

The problem is that now that the scroll wheel is for changing the tab I've lost the possibility of scrolling the tabs when there are too many; I have to use the < > buttons on the sides of the tab bar. Maybe a way to get this feature back could be considered, such as hovering the sides for auto-scrolling rather than having to click, but that might overcomplicate the addon.