diff options
| author | Dirk Steinkamp | 2022-03-17 21:40:25 +0000 |
|---|---|---|
| committer | Mickael Istria | 2022-03-18 13:25:04 +0000 |
| commit | 070a1ce0eaa11fac3989d37429bdc34854495727 (patch) | |
| tree | c4f0138d81025fd3d303cdefa51f6ca3c92d46a4 /org.eclipse.jface.text/src/org/eclipse | |
| parent | be2ef6867a344a6ed42a235f139ab695bd8e31e8 (diff) | |
| download | eclipse.platform.text-I20220321-0920.tar.gz eclipse.platform.text-I20220321-0920.tar.xz eclipse.platform.text-I20220321-0920.zip | |
Bug 576377 - Provide shortcuts/commands for incrementalI20220324-0140I20220323-1800I20220323-1230I20220323-0740I20220322-1800I20220322-0800I20220321-1800I20220321-0920I20220320-1800I20220320-0340I20220319-1800I20220318-1800I20220318-1220
multiselection/multiple carets in text editors
Caret-offset now is determined by IMultiTextSelection's regions and thus
uses only document-offsets instead of widget offsets, which makes it
handle editors e.g. with code folding like the JavaEditor correctly.
Change-Id: I6987559dab1cc3e40651e893c22dc3796dcc377a
Reviewed-on: https://git.eclipse.org/r/c/platform/eclipse.platform.text/+/192039
Tested-by: Platform Bot <platform-bot@eclipse.org>
Reviewed-by: Mickael Istria <mistria@redhat.com>
Diffstat (limited to 'org.eclipse.jface.text/src/org/eclipse')
0 files changed, 0 insertions, 0 deletions