Add new configuration to hide text of inactive tabs#583
Merged
githubuser0xFFFF merged 1 commit intogithubuser0xFFFF:masterfrom Dec 4, 2023
Merged
Add new configuration to hide text of inactive tabs#583githubuser0xFFFF merged 1 commit intogithubuser0xFFFF:masterfrom
githubuser0xFFFF merged 1 commit intogithubuser0xFFFF:masterfrom
