Currently, if you click twice on a tab button, the text is able to be selected, as shown:

Consider removing this so that the text cannot be selected.
Possible Pros: the text selection can easily be trigged by accident and it doesn't look good
Possible Cons: users cannot copy the text
I already have a commit that implements the proposed change. I'm opening this issue for discussion.
Good catch. Thanks. PR is welcome. :-)
@thisandagain might want to label this with something? ;)
@kenny2github Sorry. I'm traveling (on my phone). I'll catch up with labels and PRs when I get back to my laptop.
@thisandagain ahhh, I see. No problem then :D
Most helpful comment
@kenny2github Sorry. I'm traveling (on my phone). I'll catch up with labels and PRs when I get back to my laptop.