Stream: t-compiler

Topic: emojis in infrastructure

pnkfelix (Sep 28 2018 at 10:59, on Zulip):

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:

pnkfelix (Sep 28 2018 at 11:00, on Zulip):

(plus it complicates or at least obfuscates when you cut-and-paste the url for things like this...)

rkruppe (Sep 28 2018 at 11:07, on Zulip):

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

rkruppe (Sep 28 2018 at 11:08, on Zulip):

(i believe it was around february because

pnkfelix (Sep 28 2018 at 11:14, on Zulip):

thanks for the pointer.

nagisa (Sep 28 2018 at 13:01, on Zulip):

@pnkfelix could add :boom: to their Touch Bar.

pnkfelix (Sep 28 2018 at 13:04, on Zulip):

out of curiosity, do you know what that involves? (Beyond upgrading my work laptop to one with a touchbar)

nagisa (Sep 28 2018 at 13:06, on Zulip):

IIRC customising it involves installing an app from appstore. Otherwise touchbar simply has the list of all emojis much like a phone keyboard.

Jake Goulding (Sep 28 2018 at 13:14, on Zulip):

@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.

pnkfelix (Sep 28 2018 at 13:15, on Zulip):

@Jake Goulding you mean in the github search bar in firefox?

pnkfelix (Sep 28 2018 at 13:16, on Zulip):

I don't appear to get any autocompletion when I'm typing e.g. label:I-unsou

Jake Goulding (Sep 28 2018 at 13:16, on Zulip):

Amusingly, the URL looks fine in Chrome's address bar and whatever's at the bottom of the page:

pasted image pasted image

nagisa (Sep 28 2018 at 13:17, on Zulip):

Either way, making people to work around untypeable characters just so that we have "nice" looking labels seems counterproductive.

pnkfelix (Sep 28 2018 at 13:17, on Zulip):

The search bar for the part of the UI dedicated to Labels does suggest it

pnkfelix (Sep 28 2018 at 13:17, on Zulip):

but I'm referring to manually typing in terms in the box next to Filters, up above in the UI

Jake Goulding (Sep 28 2018 at 13:17, on Zulip):

Ah, I see where you are typing. It's unfortunate that doesn't do a partial search either

pnkfelix (Sep 28 2018 at 13:18, on Zulip):

yeah it seems actually like a potentially useful github feature in terms of allow for label-hierarchy based on prefix

pnkfelix (Sep 28 2018 at 13:19, on Zulip):

e.g. "want to see all the bugs tagged with NLL-foo? Do label:NLL-..."

pnkfelix (Sep 28 2018 at 13:19, on Zulip):

though I supppose that might complicate the semantics of -label ...

Last update: May 26 2020 at 11:10UTC