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
