Some TextEdit selection improvements
One of the improvements is that it allows using pointer and shift selection together. Scrolling with mouse wheel does not longer end the selection process (closes #1190 (closed))
Changed the way shift+click selection works when changing from forward to backwards (and vice versa). It works similarly to shift selection (this is how most editors work).
This video shows the main differences (before, after).