Hmm, curious why user-select: none; wasn’t applied to these buttons. Not sure why you would want to let people select text on UI elements e.g. by double-clickin

Hmm, curious why user-select: none; wasn’t applied to these buttons. Not sure why you would want to let people select text on UI elements e.g. by double-clicking a button — feels less “native” to see selections made on UI elements.