Bug 576377 - Provide shortcuts/commands for incremental
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>
3 files changed
