@doctorlinguist When I post from Texnut, the color of the "<" before my username should match the ">" after my username, I think. #bug
598668
cookie jar (i)
@33MHz that *is* a bit odd, though that code is very old, so I wonder why it was never noticed before.
599375
@doctorlinguist I can dive in and see what I find this weekend.
599414
@doctorlinguist @33MHz In case it helps, I haven't ever seen this bug.
599578
599905
@mandy @33MHz I don't see it either. this is in gnome-terminal. does it do it in other terminal proggies? which one is this?
599906
@doctorlinguist @mandy Oh, interesting. OK, your code is not the cause! Mint uses Gnome Terminal, too. My home computer uses 3.28.1. I'm guessing at work it uses something older, because
599927
@doctorlinguist @mandy (derp), at home it is highlighting as I'd expect.
599928
@33MHz well, let me know, because if there's an easy way to cover all bases I'm not opposed in principle. @mandy
599929
@doctorlinguist will-do. I'll take a look when I get the computer in my hands again.
599931
@doctorlinguist Gnome Terminal at work is on v 3.18.3, Linux Mint 18.3.
@mandy
600807
@33MHz ah. gnome-terminal here (Fedora 29) is 3.30.2. @mandy
601054