commit db0e845434eeef21e24410257d1a3e3f620d0c9c
author Stephan Wahlbrink <sw@wahlbrink.eu> Tue Dec 10 13:51:15 2019 +0100
committer Stephan Wahlbrink <sw@wahlbrink.eu> Tue Dec 10 14:31:19 2019 +0100
tree 49097a164d709ee4fd4fd4a3963d91f0b6dd6286
parent 0bc85193f74886c3585835308a70b2ba14391493

Bug 558068: [SourceEditor] Fix selection event when exiting a bracket
level by closing char

Change-Id: I869f125f369f442acf217009bd1760e97f826d60

ltk/org.eclipse.statet.ltk.ui/src/org/eclipse/statet/ecommons/text/ui/BracketLevel.java

diff --git a/ltk/org.eclipse.statet.ltk.ui/src/org/eclipse/statet/ecommons/text/ui/BracketLevel.java b/ltk/org.eclipse.statet.ltk.ui/src/org/eclipse/statet/ecommons/text/ui/BracketLevel.java
index 1d57fea..556a720 100644
--- a/ltk/org.eclipse.statet.ltk.ui/src/org/eclipse/statet/ecommons/text/ui/BracketLevel.java
+++ b/ltk/org.eclipse.statet.ltk.ui/src/org/eclipse/statet/ecommons/text/ui/BracketLevel.java
@@ -39,6 +39,7 @@
 import org.eclipse.statet.ecommons.text.core.DocumentEnhancement;
 import org.eclipse.statet.ecommons.text.core.sections.IDocContentSections;
 import org.eclipse.statet.ecommons.text.core.util.ExclusivePositionUpdater;
+import org.eclipse.statet.ecommons.ui.swt.WidgetUtils;
 
 import org.eclipse.statet.internal.ltk.ui.LTKUIPlugin;
 
@@ -396,8 +397,8 @@
 	
 	private void skipChars(final VerifyEvent event, final int n) {
 		event.doit= false;
-		final StyledText styledText= (StyledText) event.widget;
-		styledText.setSelection(styledText.getCaretOffset() + n);
+		final StyledText styledText= (StyledText)event.widget;
+		WidgetUtils.setSelection(styledText, styledText.getCaretOffset() + n, event.time);
 	}