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.