I wrote before asking about how to change the shape of the mouse
pointer. I get a helpful hint to do it extending DisplayRendererJ2D and
using the code of DefaultDisplayRendererJ2D. However using this I can get
the mouse to change its appearance only once at the beginning (I can
change it for example into a box or anything and it will remain like
that). What I want is to change mouse pointer's appearance as I move over
the display, e.g. I want it to look as a square when I move
the mouse over a given region of the display and as a cross when I am out
of such region.
Is this possible? I will appreciate your help.
Ricardo Mantilla
University of Colorado at Boulder
