X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;f=bundles%2Forg.simantics.ui%2Fsrc%2Forg%2Fsimantics%2Fui%2Fworkbench%2FResourceFormEditor.java;fp=bundles%2Forg.simantics.ui%2Fsrc%2Forg%2Fsimantics%2Fui%2Fworkbench%2FResourceFormEditor.java;h=fe2a40acfcb41e97c4557398d4ba288ce5020e4e;hb=0ae2b770234dfc3cbb18bd38f324125cf0faca07;hp=c7f5edd285994bca5a032156f11c54c2268ce4aa;hpb=24e2b34260f219f0d1644ca7a138894980e25b14;p=simantics%2Fplatform.git

diff --git a/bundles/org.simantics.ui/src/org/simantics/ui/workbench/ResourceFormEditor.java b/bundles/org.simantics.ui/src/org/simantics/ui/workbench/ResourceFormEditor.java
index c7f5edd28..fe2a40acf 100644
--- a/bundles/org.simantics.ui/src/org/simantics/ui/workbench/ResourceFormEditor.java
+++ b/bundles/org.simantics.ui/src/org/simantics/ui/workbench/ResourceFormEditor.java
@@ -1,82 +1,82 @@
-/*******************************************************************************
- * Copyright (c) 2007, 2010 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:
- *     VTT Technical Research Centre of Finland - initial API and implementation
- *******************************************************************************/
-package org.simantics.ui.workbench;
-
-import org.eclipse.core.runtime.IProgressMonitor;
-import org.eclipse.ui.IEditorInput;
-import org.eclipse.ui.IEditorSite;
-import org.eclipse.ui.PartInitException;
-import org.eclipse.ui.forms.editor.FormEditor;
-import org.simantics.db.Session;
-import org.simantics.db.management.ISessionContext;
-import org.simantics.ui.SimanticsUI;
-
-/**
- * @author Tuukka Lehtonen
- */
-public abstract class ResourceFormEditor extends FormEditor implements IResourceEditorPart {
-
-    ResourceEditorSupport support;
-    boolean               disposed = false;
-
-    @Override
-    public final void doSave(IProgressMonitor monitor) {
-    }
-
-    @Override
-    public final void doSaveAs() {
-    }
-
-    @Override
-    public final boolean isSaveAsAllowed() {
-        return false;
-    }
-
-    @Override
-    public IResourceEditorInput getResourceInput() {
-        return (IResourceEditorInput) getEditorInput();
-    }
-
-    @Override
-    public void init(IEditorSite site, IEditorInput input) throws PartInitException {
-        if (!(input instanceof IResourceEditorInput))
-            throw new PartInitException("Invalid input: must be IResourceEditorInput");
-        super.init(site, input);
-        support = new ResourceEditorSupport(this);
-
-        // Set initial part name according to the name given by IEditorInput
-        setPartName(getEditorInput().getName());
-
-        Session session = SimanticsUI.peekSession();
-        if (session != null) {
-            session.asyncRequest(
-                    new TitleRequest(site.getId(), getResourceInput()),
-                    new TitleUpdater(site.getShell().getDisplay(), this::setPartName, () -> disposed));
-        }
-    }
-
-    @Override
-    public void dispose() {
-        disposed = true;
-        support.dispose();
-        super.dispose();
-    }
-
-    protected ISessionContext getSessionContext() {
-        return support.getSessionContext();
-    }
-
-    protected Session getSession() {
-        return support.getSession();
-    }
-
-}
+/*******************************************************************************
+ * Copyright (c) 2007, 2010 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:
+ *     VTT Technical Research Centre of Finland - initial API and implementation
+ *******************************************************************************/
+package org.simantics.ui.workbench;
+
+import org.eclipse.core.runtime.IProgressMonitor;
+import org.eclipse.ui.IEditorInput;
+import org.eclipse.ui.IEditorSite;
+import org.eclipse.ui.PartInitException;
+import org.eclipse.ui.forms.editor.FormEditor;
+import org.simantics.db.Session;
+import org.simantics.db.management.ISessionContext;
+import org.simantics.ui.SimanticsUI;
+
+/**
+ * @author Tuukka Lehtonen
+ */
+public abstract class ResourceFormEditor extends FormEditor implements IResourceEditorPart {
+
+    ResourceEditorSupport support;
+    boolean               disposed = false;
+
+    @Override
+    public final void doSave(IProgressMonitor monitor) {
+    }
+
+    @Override
+    public final void doSaveAs() {
+    }
+
+    @Override
+    public final boolean isSaveAsAllowed() {
+        return false;
+    }
+
+    @Override
+    public IResourceEditorInput getResourceInput() {
+        return (IResourceEditorInput) getEditorInput();
+    }
+
+    @Override
+    public void init(IEditorSite site, IEditorInput input) throws PartInitException {
+        if (!(input instanceof IResourceEditorInput))
+            throw new PartInitException("Invalid input: must be IResourceEditorInput");
+        super.init(site, input);
+        support = new ResourceEditorSupport(this);
+
+        // Set initial part name according to the name given by IEditorInput
+        setPartName(getEditorInput().getName());
+
+        Session session = SimanticsUI.peekSession();
+        if (session != null) {
+            session.asyncRequest(
+                    new TitleRequest(site.getId(), getResourceInput()),
+                    new TitleUpdater(site.getShell().getDisplay(), this::setPartName, () -> disposed));
+        }
+    }
+
+    @Override
+    public void dispose() {
+        disposed = true;
+        support.dispose();
+        super.dispose();
+    }
+
+    protected ISessionContext getSessionContext() {
+        return support.getSessionContext();
+    }
+
+    protected Session getSession() {
+        return support.getSession();
+    }
+
+}