On Thu, Oct 15, 2009 at 01:08:08PM +0200, Gubinelli Massimiliano wrote: > I'm still investigating possible solutions. I've not clear ideas. A > clear way to do it is to interrupt redrawing at regular times and > return to main loop.
OK, that seems like a good idea; I will investigate this. Not as good as the current system, of course, but by modifying the time credit until interruption as a function of the current keyboard input rate, maybe something reasonable can be worked out. Best wishes, --Joris _______________________________________________ Texmacs-dev mailing list [email protected] http://lists.gnu.org/mailman/listinfo/texmacs-dev
