News for hackers. Stuff that matters.
Re:The end of the nice GTK button by fxtentacle on Friday March 25, 2022 @04:34AM (#30799786)
Oddly enough, I switched towards the JetBrains IDEs precisely because my impression is that they never lose keystrokes or change the ordering.

There are no comments on this comment yet.