MrOtherGuy b88c1f5bf1 Improvements for hide_tabs_scrollbuttons ...

This patch "unhides" tabs scrollbox overflow indicators as well as adds
background for scrollbuttons when re-oredering tabs. Both of these are
pretty complicated things to achieve, so this patch also adds a small
compatibility layer for non_floating_sharp_tabs.css

2023-01-05 15:21:48 +02:00

4.3 KiB

Raw Blame History

View Raw