News for hackers. Stuff that matters.
Re:The end of the nice GTK button by ratww on Friday March 25, 2022 @04:51AM (#30799879)
Yes. Even if it were doing important stuff, this "important stuff" shouldn't be affecting typing. We have multicore machines now, there's no excuse anymore.

Imagine if it were the opposite, and moving the mouse or speaking into a microphone caused the compilation to fail in subtle ways. Well, background compilation/typechecking/whatever is messing with user interaction.

There are no comments on this comment yet.