[Further-devel] updating bug fixed?

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

_______________________________________________ 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