On Tue, Apr 23, 2013, at 17:05, Roberto E. Vargas Caballero wrote:
>
What _exactly_ is the behavior you are observing? Are you sure it's not
_actually_ staying selected, rather than simply drawing that way?
If you click the mouse somewhere else, does the original selection go
away, or does it stay reversed? If it goes away, what is the problem?
Are you expecting it should go away immediately when it is erased? There
is some merit to the idea that the selection should go away if any
character within it is modified - maybe we should be talking about that.
--
Random832
Received on Tue Apr 23 2013 - 23:12:47 CEST