From: Evan Martin (martine@cs.washington.edu)
Date: Tue Jan 22 2002 - 16:39:08 PST
I may have fixed the bug where sometimes the display doesn't update
until you move the mouse.
Has anyone else noticed this? Try updating from CVS and see if I fixed
it. :)
--
Evan Martin
martine@cs.washington.edu
http://neugierig.org
_______________________________________________
Further-devel mailing list
Further-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/further-devel
This archive was generated by hypermail 2.1.4 : Tue May 28 2002 - 23:37:04 PDT