News for hackers. Stuff that matters.
Re:The end of the nice GTK button by tzot on Friday March 25, 2022 @06:12AM (#30800324)
You sansed the serif? What about the DPI-t?

There are no comments on this comment yet.