When was the label
I-unsound renamed to
I-unsound 💥 ? I don't think the cuteness of such emoji's outweighs the impedance it introduces to people who prefer typing over selecting things with a mouse... :sad:
(plus it complicates or at least obfuscates when you cut-and-paste the url for things like this...)
i don't disagree but the rename happened long enough ago (in february) that it'd probably break a lot of links again to rename it back
(i believe it was around february because https://internals.rust-lang.org/t/labeling-improvements-github/6806)
thanks for the pointer.
@pnkfelix could add :boom: to their Touch Bar.
out of curiosity, do you know what that involves? (Beyond upgrading my work laptop to one with a touchbar)
IIRC customising it involves installing an app from appstore. Otherwise touchbar simply has the list of all emojis much like a phone keyboard.
@pnkfelix doesn't auto-complete fill it in for you?
You can also do control-command-space to bring up the character palette and access all the characters from there.
@Jake Goulding you mean in the github search bar in firefox?
I don't appear to get any autocompletion when I'm typing e.g.
Amusingly, the URL looks fine in Chrome's address bar and whatever's at the bottom of the page:
Either way, making people to work around untypeable characters just so that we have "nice" looking labels seems counterproductive.
The search bar for the part of the UI dedicated to Labels does suggest it
but I'm referring to manually typing in terms in the box next to Filters, up above in the UI
Ah, I see where you are typing. It's unfortunate that doesn't do a partial search either
yeah it seems actually like a potentially useful github feature in terms of allow for label-hierarchy based on prefix
e.g. "want to see all the bugs tagged with NLL-foo? Do
though I supppose that might complicate the semantics of