Oz and Mozart Users Mailing List

Re: -mouse crash-


From: Denys Duchier (duchier@ps.uni-sb.de)
Date: Wed Jan 29 2003 - 18:32:19 CET


schulte@imit.kth.se (Christian Schulte) writes:

> Try the Inspector and see whether it shows the same behaviour. A general
> advice is to use the Inspector instead of the Browser (that means {Inspect
> gaga} instead of {Browse gaga}) as it is more stable and efficient.

in this case, it is easy to fix the browser so that it IGNORES these
messages that it doesn't know how to handle (I should probably do that
before the official release). That would solve the stability problem.
The more challenging alternative is to provide scrolling when such
messages arrive. I don't want to do it (besides I don't even have a
mouse - so I couldn't test it! yeah). If anyone wants to send
patches, that would be very nice.

Cheers,

-- 
Dr. Denys Duchier
Iquipe Calligramme
LORIA, Nancy, FRANCE
-
Please send submissions to users@mozart-oz.org
and administriva mail to users-request@mozart-oz.org.
The Mozart Oz web site is at http://www.mozart-oz.org/.
Please send bug reports to bugs@mozart-oz.org.



This archive was generated by hypermail 2b29.