News for hackers. Stuff that matters.

A comment on The end of the nice GTK button. Parent comment

Re:The end of the nice GTK button by ejolto on Thursday March 24, 2022 @07:14PM (#30796697)
Sheriff? I think you mean serif, partner.
[ Parent | on HN ]
Re:The end of the nice GTK button by bdefore on Thursday March 24, 2022 @07:21PM (#30796763)
Deputy. Perfect name for a new Sans-Sheriff typeface.
[ Parent | on HN ]
Re:The end of the nice GTK button by cwillu on Thursday March 24, 2022 @09:47PM (#30797840)
…there's a new serif in town.
[ Parent | on HN ]
Re:The end of the nice GTK button by Stratoscope on Friday March 25, 2022 @12:45AM (#30798728)
I think Ken Shirriff would have something to say about this.

http://www.righto.com/

[ Parent | on HN ]
Re:The end of the nice GTK button by kQq9oHeAz6wLLS on Thursday March 24, 2022 @07:21PM (#30796755)
I'm assuming they are a victim of autocorrect, pilgrim.
[ Parent | on HN ]
Re:The end of the nice GTK button by nathell on Friday March 25, 2022 @06:23AM (#30800393)
In some languages (e.g., Polish), the word for "serif" is the same as the one for "sheriff".
[ Parent | on HN ]