- Paul
Hm, I don't have an answer to your question, but I have a cheesy
idea for a workaround: you may be able to grab the mouse position
with (mouse-pixel-position), then use (set-mouse-position) to move the
mouse to your point, grab the (mouse-pixel-position), then set the
mouse back to the original pixel position. This may be annoying if
you do this while the mouse pointer is being moved around. :-(
- Amit
--
Amit J Patel, Computer Science Department, Stanford University
http://www-cs-students.stanford.edu/~amitp/
``Parkinson's Other Law: Perfection is achieved only
at the point of collapse.''