Re: [Texmacs-dev] getting rid of frequent polling in TeXmacs

[Stéphane Payrard]

On Thu, Aug 29, 2002 at 11:09:42AM +1000, Amir Michail wrote:
> Hi,
> 
> Is there a simple way to get rid of the frequent polling
> in TeXmacs used to update the display?  For example,
> is there an easy way to force the display to simply update
> after every keystroke instead?
> 
> The reason we are asking these questions is that this
> polling is confusing our design recovery tool, DRT.  We just
> need a simple temporary fix for now, even if the result will be very
> slow.

That seems a very interesting tool indeed. Can you be more specific on
the problem you want fixed? Do you want the event loop signal based
instead of pool based?  BTW: Can we download the tool itself. I can't
find it in the many links.

> 
> Amir
> 
> P.S.  You can see progress we have made on DRT here:
>         http://www.cse.unsw.edu.au/~drt/screenshot/index.html.  You will
>         need to click on the screenshot links to see the entire screenshot.
> 

You link page is a treasure. I have asked around for X related tools
that I knew to be existing for ages.

> 
> 
> _______________________________________________
> Texmacs-dev mailing list
> address@hidden
> http://mail.gnu.org/mailman/listinfo/texmacs-dev

-- 

  stef