X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;f=bundles%2Forg.simantics.views.text%2Fsrc%2Forg%2Fsimantics%2Fviews%2Ftext%2Finternal%2FSWTMarkupSourceViewer.java;fp=bundles%2Forg.simantics.views.text%2Fsrc%2Forg%2Fsimantics%2Fviews%2Ftext%2Finternal%2FSWTMarkupSourceViewer.java;h=756dfe21a3b5edbe1d71b60625e1db3bdbb2e597;hb=5b3a1f2d3bffe5a79e344b55087fb161541a4301;hp=0000000000000000000000000000000000000000;hpb=894991ee53490cb8e28dd48b0da686203411324a;p=simantics%2Fplatform.git

diff --git a/bundles/org.simantics.views.text/src/org/simantics/views/text/internal/SWTMarkupSourceViewer.java b/bundles/org.simantics.views.text/src/org/simantics/views/text/internal/SWTMarkupSourceViewer.java
new file mode 100644
index 000000000..756dfe21a
--- /dev/null
+++ b/bundles/org.simantics.views.text/src/org/simantics/views/text/internal/SWTMarkupSourceViewer.java
@@ -0,0 +1,119 @@
+/*******************************************************************************
+ * Copyright (c) 2017 Association for Decentralized Information Management
+ * in Industry THTH ry.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ *     Semantum Oy - (#7066) initial API and implementation
+ *******************************************************************************/
+package org.simantics.views.text.internal;
+
+import org.eclipse.jface.text.Document;
+import org.eclipse.mylyn.wikitext.core.parser.markup.MarkupLanguage;
+import org.eclipse.mylyn.wikitext.mediawiki.core.MediaWikiLanguage;
+import org.eclipse.mylyn.wikitext.ui.editor.MarkupSourceViewer;
+import org.eclipse.mylyn.wikitext.ui.editor.MarkupSourceViewerConfiguration;
+import org.eclipse.mylyn.wikitext.ui.editor.ShowInTargetBridge;
+import org.eclipse.swt.SWT;
+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.eclipse.ui.services.IServiceLocator;
+import org.eclipse.ui.swt.IFocusService;
+import org.simantics.views.ViewUtils;
+import org.simantics.views.swt.client.base.SingleSWTViewNode;
+
+/**
+ * @author Tuukka Lehtonen
+ * @since 1.28.0
+ */
+public class SWTMarkupSourceViewer extends SingleSWTViewNode<StyledText> {
+
+	private static final long serialVersionUID = 3034624586096417826L;
+
+	private MarkupSourceViewer viewer;
+	private boolean textInitialized = false;
+
+	@Override
+	public void createControls(Composite parent) {
+		MarkupLanguage language = new MediaWikiLanguage();
+		viewer = new MarkupSourceViewer(parent, null, style | SWT.WRAP, language);
+		viewer.setEditable(false);
+		MarkupSourceViewerConfiguration configuration = new MarkupSourceViewerConfiguration(Activator.getDefault().getPreferenceStore());
+		configuration.setMarkupLanguage(language);
+		configuration.setShowInTarget(new ShowInTargetBridge(viewer));
+		viewer.configure(configuration);
+		viewer.setDocument(new Document(text != null ? text : ""));
+		control = viewer.getTextWidget();
+		control.setData(TextViewerConstants.KEY_UNDO_MANAGER, viewer.getUndoManager());
+		control.setEnabled(false);
+
+		setProperties();
+
+		// Allow undo/redo handler to be bound to this text editor's focus
+		IServiceLocator locator = getSite();
+		if (locator != null) {
+			IFocusService focusService = locator.getService(IFocusService.class);
+			if (focusService != null) {
+				focusService.addFocusTracker(control, TextViewerConstants.CONTEXT_IN_TEXT_VIEWER);
+			}
+		}
+
+		control.addSelectionListener(new SelectionListener() {
+			@Override
+			public void widgetSelected(SelectionEvent e) {
+				ViewUtils.setWorkbenchSelection(viewer.getSelection());
+			}
+			@Override
+			public void widgetDefaultSelected(SelectionEvent e) {
+				widgetSelected(e);
+			}
+		});
+	}
+
+	@Override
+	public void synchronizeText(String text) {
+		this.text = 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 = viewer.getTopIndex();
+			int diff = text.length() - charCount;
+			int newCaretOffset = Math.max(0, Math.min(caretOffset + diff, text.length()));
+
+			viewer.getDocument().set(text);
+			viewer.setTopIndex(topIndex);
+			control.setCaretOffset(newCaretOffset);
+			viewer.setEditable(true);
+			control.setEnabled(true);
+
+			// Prevent text viewer undo from allowing the
+			// user to undo the text viewer back to empty.
+			if (!textInitialized) {
+				viewer.getUndoManager().reset();
+				textInitialized = true;
+			}
+		} else {
+			textInitialized = false;
+			viewer.setEditable(false);
+			control.setEnabled(false);
+			viewer.getDocument().set("");
+			viewer.getUndoManager().reset();
+		}
+	}
+
+	public String readText() {
+		return viewer.getDocument().get();
+	}
+
+	public Point readSelection() {
+		return control.getSelection();
+	}
+
+}
\ No newline at end of file