[Texmacs-dev] DRT Support for TeXmacs + DRT paper

[Amir Michail]

Hi,

We have tried to reduce TeXmacs polling by
increasing the delays:

src/Window/X/x_loop.cc

MIN_DELAY 10 => 10000
MAX_DELAY 10 => 10000

However, now the program is unusable.  When you 
type a letter, it takes 10 seconds for the letter
to show up on the screen.

Is there a way to reduce polling yet keep the program usable?

BTW, we have now written a paper on the DRT tool:

http://www.cse.unsw.edu.au/~amichail/drt.pdf

Amir