Paulo Reis 722d75f6ef Correctly check if deletions are within selection.

2017-05-02 17:08:41 +01:00

..

web

Correctly check if deletions are within selection.

2017-05-02 17:08:41 +01:00