It would be great if the font size on tab titles is configurable. Currently I'm using gnome and the global font size for interfaces could be changed which reflects in tab titles in tilda. However I like to keep with smaller fonts things that are not critical for interfaces like header bars on windows or in this case tab titles. It would also be great if padding on tab titles is configurable.
It would be great if the font size on tab titles is configurable. Currently I'm using gnome and the global font size for interfaces could be changed which reflects in tab titles in tilda. However I like to keep with smaller fonts things that are not critical for interfaces like header bars on windows or in this case tab titles. It would also be great if padding on tab titles is configurable.