Migrated source code from Simantics SVN

[simantics/platform.git] / bundles / org.simantics.views.swt.client / src / org / simantics / views / swt / client / impl / SWTStyledText.java

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