Symbol von Tab delabelifier

Tab delabelifier 0.2.4

von Gryllida

Hide the labels of the tabs that are not selected.