In few hours after you submit any news on HN, you could edit titles (that automatically modified by HN)
Just curious if you know whether TeXmacs users running the program under Linux experience the same keyboard latency (estimated at around 700ms) that those of using Windows have observed? Is this a widely know issue and if so are there any settings one can adjust to improve the typing experience by making TeXmacs more reponsive to keystroke input?