diff options
| author | Michael Davis | 2022-06-24 13:58:04 +0000 |
|---|---|---|
| committer | GitHub | 2022-06-24 13:58:04 +0000 |
| commit | d948ace67b10f162fd00106b9be2c1c680f33861 (patch) | |
| tree | 849a5f4778b3b1c6c5253d1e645b0445656a1eb2 /runtime/queries/scala | |
| parent | 886cff3bcc5f8e1d81e55afdbbf7ad8ff00ffc7b (diff) | |
check selection's visible width when copying on mouse click (#2711)
* check selection's visible width when copying on mouse click
Mouse-click-up copies the selection produced by dragging. The event
is ignored if the selection has a width of 1 though so you don't
copy when clicking rather than dragging. The current check copies
text when it has a visible width of 1 but is actually multiple
characters in the rope like a CRLF line-ending. With this change
we check the unicode width of the character(s) in the selection
rather than the range length, so clicking on a CRLF line-ending
does not copy.
* use range.fragment to simplify getting the primary selection width
Diffstat (limited to 'runtime/queries/scala')
0 files changed, 0 insertions, 0 deletions