News for hackers. Stuff that matters.

A comment on Sanding UI. Parent comment

Re:Sanding UI by robin_reala on Sunday September 22, 2024 @01:45AM (#41614858)
GitHub specifically has the issue mentioned in this blog post! It annoyed me so much I had to file it with them three years ago, and it’s still not fixed: https://github.com/orgs/community/discussions/7506
[ Parent | on HN ]
Re:Sanding UI by Aeolun on Sunday September 22, 2024 @07:29PM (#41620980)
I have to love that someone enthusiastically announced there was going to be a fix.

Like, nobody, including the original issue author is actually enthusiastic about the fix. It’s just one less papercut.

I’m sure if these things were actually seen by devs they’d add a two line change to a random PR and it would be done in a few minutes.

[ Parent | on HN ]