I noticed a feature request open on the github repo and wanted to get some more opinion on it. I understand that a lot of people want a lot of things and deliverables can change based on priority, especially when it comes to minor appearance changes.
But, there is feature request open on the github repo about changing the weight of an active tabs title. Is this something the community can benefit from? Or is is so small that development efforts wouldn’t be worth it?
Would like the core team and the communities opinion on this.
My opinion is the default currently (I am on windows running the desktop os) is more than enough to determine and distinguish between an active tab and a inactive tab):