Den 21.07.2011 20:48, skrev Greg Brown:
Shall I file a ticket or do you have an immediate idea about what is causing
this?
Sure, file a ticket.
I also created a patch, but I'm not well enough versed in Pivot
internals to know if this has any side effects. Would you care to take a
look, Greg?
https://issues.apache.org/jira/browse/PIVOT-774
The check I removed might have been for something else, but I can't see
what. I basically changed:
if (y >= visibleArea.y
&& y < visibleArea.y + visibleArea.height) {
// Stop the scroll selection timer
to
if (y < visibleArea.y + visibleArea.height) {
// Stop the scroll selection timer
in TextAreaSkin#mouseMove() so that it is no longer required that the
mouse is above visibleArea.y.
https://issues.apache.org/jira/secure/attachment/12487342/TextAreaSelectionFix.patch
-- Edvin