diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-11-06 09:43:22 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-11-06 09:43:22 +0100 |
| commit | d4e37ef198ab74ed9a42127601c374f43dac12b6 (patch) | |
| tree | 4097e9a3d1f135c1bbbff71070a0b245f349355f /editor | |
| parent | e20241c02ce1a678d9021fa4eb4f3700a9a79232 (diff) | |
| parent | 6f6afde0c58623bb2d8bf54904044f46233903d7 (diff) | |
Merge pull request #12662 from Paulb23/text_edit_mouse_selection
Changed line and word mouse selection
Diffstat (limited to 'editor')
0 files changed, 0 insertions, 0 deletions