X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;f=bundles%2Forg.simantics.views.swt.client%2Fsrc%2Forg%2Fsimantics%2Fviews%2Fswt%2Fclient%2Fimpl%2FSWTStyledText.java;h=ac08801e68ba74c407f4724bf918fc4407ab458a;hb=91e878ce39c9db112d658b3236f29a13e12724e6;hp=da4ddd158fdd6544e8abeacae673131fb05aaf66;hpb=969bd23cab98a79ca9101af33334000879fb60c5;p=simantics%2Fplatform.git

diff --git a/bundles/org.simantics.views.swt.client/src/org/simantics/views/swt/client/impl/SWTStyledText.java b/bundles/org.simantics.views.swt.client/src/org/simantics/views/swt/client/impl/SWTStyledText.java
index da4ddd158..ac08801e6 100644
--- a/bundles/org.simantics.views.swt.client/src/org/simantics/views/swt/client/impl/SWTStyledText.java
+++ b/bundles/org.simantics.views.swt.client/src/org/simantics/views/swt/client/impl/SWTStyledText.java
@@ -1,64 +1,64 @@
-package org.simantics.views.swt.client.impl;
-
-import org.eclipse.jface.viewers.StructuredSelection;
-import org.eclipse.swt.custom.StyledText;
-import org.eclipse.swt.events.SelectionEvent;
-import org.eclipse.swt.events.SelectionListener;
-import org.eclipse.swt.graphics.Point;
-import org.eclipse.swt.widgets.Composite;
-import org.simantics.views.ViewUtils;
-import org.simantics.views.swt.client.base.SingleSWTViewNode;
-
-public class SWTStyledText extends SingleSWTViewNode<StyledText> {
-	
-	private static final long serialVersionUID = 7932335224632082902L;
-	
-	@Override
-	public void createControls(Composite parent) {
-		
-		control = new StyledText(parent, style);
-		control.setEnabled(false);
-		setProperties();
-		
-		control.addSelectionListener(new SelectionListener() {
-			@Override
-			public void widgetSelected(SelectionEvent e) {
-				String selectionText = control.getSelectionText();
-				ViewUtils.setWorkbenchSelection(new StructuredSelection(selectionText));
-			}
-			@Override
-			public void widgetDefaultSelected(SelectionEvent e) {
-				widgetSelected(e);
-			}
-		});
-		
-	}
-	
-	@Override
-	public void synchronizeText(String text) {
-		if(text != null) {
-			// Try to keep the vertical scroll position of the text widget
-			int caretOffset = control.getCaretOffset();
-			int charCount = control.getCharCount();
-			int topIndex = control.getTopIndex();
-			int diff = text.length() - charCount;
-			control.setText(text);
-			caretOffset = Math.max(0, Math.min(caretOffset + diff, text.length()));
-			control.setTopIndex(topIndex);
-			control.setCaretOffset(caretOffset);
-			control.setEnabled(true);
-		} else {
-			control.setText("");
-			control.setEnabled(false);
-		}
-	}
-	
-	public String readText() {
-		return control.getText();
-	}
-	
-	public Point readSelection() {
-		return control.getSelection();
-	}
-
-}
+package org.simantics.views.swt.client.impl;
+
+import org.eclipse.jface.viewers.StructuredSelection;
+import org.eclipse.swt.custom.StyledText;
+import org.eclipse.swt.events.SelectionEvent;
+import org.eclipse.swt.events.SelectionListener;
+import org.eclipse.swt.graphics.Point;
+import org.eclipse.swt.widgets.Composite;
+import org.simantics.views.ViewUtils;
+import org.simantics.views.swt.client.base.SingleSWTViewNode;
+
+public class SWTStyledText extends SingleSWTViewNode<StyledText> {
+	
+	private static final long serialVersionUID = 7932335224632082902L;
+	
+	@Override
+	public void createControls(Composite parent) {
+		
+		control = new StyledText(parent, style);
+		control.setEnabled(false);
+		setProperties();
+		
+		control.addSelectionListener(new SelectionListener() {
+			@Override
+			public void widgetSelected(SelectionEvent e) {
+				String selectionText = control.getSelectionText();
+				ViewUtils.setWorkbenchSelection(new StructuredSelection(selectionText));
+			}
+			@Override
+			public void widgetDefaultSelected(SelectionEvent e) {
+				widgetSelected(e);
+			}
+		});
+		
+	}
+	
+	@Override
+	public void synchronizeText(String text) {
+		if(text != null) {
+			// Try to keep the vertical scroll position of the text widget
+			int caretOffset = control.getCaretOffset();
+			int charCount = control.getCharCount();
+			int topIndex = control.getTopIndex();
+			int diff = text.length() - charCount;
+			control.setText(text);
+			caretOffset = Math.max(0, Math.min(caretOffset + diff, text.length()));
+			control.setTopIndex(topIndex);
+			control.setCaretOffset(caretOffset);
+			control.setEnabled(true);
+		} else {
+			control.setText("");
+			control.setEnabled(false);
+		}
+	}
+	
+	public String readText() {
+		return control.getText();
+	}
+	
+	public Point readSelection() {
+		return control.getSelection();
+	}
+
+}