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.
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.