On Mon, 23 Sep 2002, Amir Michail wrote:

> I believe we can address the polling and cursor problems in LyX
> under DRT by identifying a user action as follows:
>
> * an X input determines the start of an action (e.g., key press)
>
> * a burst of X outputs (e.g., screen draw requests) determine the end of the
> action (e.g., show the corresponding letter on the screen)
>
> This way, frequent polling that doesn't update the screen will not extend an
> action indefinitely.   Of course, if certain actions do not result in the
> screen being updated for long periods of times, then we will not identify
> their ends.  Is this an issue in LyX?  Do all actions result in some screen
> output relatively quickly?

I would think so for 95% of all cases. The only things that could be
different is spell checking, exporting and converting stuff, previewing,
and similar operations that can take some time.

> BTW, we have written a paper on DRT that uses LyX as a running example.
> See:
>
> http://www.cse.unsw.edu.au/~amichail/drt.pdf

Very impressive. Wish this tool was available under Windows! ;-)

> Feedback would be appreciated!  We should be able to release a preliminary
> version of this tool + full instructions for getting LyX to work later this
> week.

I wish you luck.

If I should give you some feedback regarding the technology, then I think
you could use time profiling to add a new dimension. When you are
developing an interactive application, it is often difficult to optimize a
certain isolated task, because  when you profile the application, the
profiling information will typically include a lot of noise from start-up,
loading and rendering of the document, and then final exit of the
application.

This makes it harder to optimize, for instance, adding a huge table
in a LyX document.

Therefore, if you extended your data collection with time stamps,
it might be possible to provide some relevant profiling information:
When you click cursor up in a math inset, the most time is spent
in X.

Regards,

Asger Alstrup Nielsen

Reply via email to