tree c4f0138d81025fd3d303cdefa51f6ca3c92d46a4
parent be2ef6867a344a6ed42a235f139ab695bd8e31e8
author Dirk Steinkamp <dirk.steinkamp@gmx.de> 1647553225 +0100
committer Mickael Istria <mistria@redhat.com> 1647609904 -0400

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>