X-Git-Url: https://gerrit.simantics.org/r/gitweb?p=simantics%2Fplatform.git;a=blobdiff_plain;f=bundles%2Forg.simantics.workbench%2Fsrc%2Forg%2Fsimantics%2Fworkbench%2Finternal%2Fcontributions%2FGraphRequestStatusContribution.java;fp=bundles%2Forg.simantics.workbench%2Fsrc%2Forg%2Fsimantics%2Fworkbench%2Finternal%2Fcontributions%2FGraphRequestStatusContribution.java;h=1d1279a062fde2a845dcbb7cc5a7531dc4ece33e;hp=2652062f24362f4a2f55f2df59551bf722031935;hb=0ae2b770234dfc3cbb18bd38f324125cf0faca07;hpb=24e2b34260f219f0d1644ca7a138894980e25b14

diff --git a/bundles/org.simantics.workbench/src/org/simantics/workbench/internal/contributions/GraphRequestStatusContribution.java b/bundles/org.simantics.workbench/src/org/simantics/workbench/internal/contributions/GraphRequestStatusContribution.java
index 2652062f2..1d1279a06 100644
--- a/bundles/org.simantics.workbench/src/org/simantics/workbench/internal/contributions/GraphRequestStatusContribution.java
+++ b/bundles/org.simantics.workbench/src/org/simantics/workbench/internal/contributions/GraphRequestStatusContribution.java
@@ -1,70 +1,70 @@
-/*******************************************************************************
- * 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.workbench.internal.contributions;
-
-import org.eclipse.swt.widgets.Composite;
-import org.eclipse.swt.widgets.Control;
-import org.eclipse.ui.IWorkbenchWindow;
-import org.eclipse.ui.menus.WorkbenchWindowControlContribution;
-import org.simantics.db.management.ISessionContext;
-import org.simantics.db.management.ISessionContextChangedListener;
-import org.simantics.db.management.ISessionContextProvider;
-import org.simantics.db.management.SessionContextChangedEvent;
-import org.simantics.ui.SimanticsUI;
-import org.simantics.workbench.internal.Activator;
-
-
-/**
- * @author Tuukka Lehtonen
- */
-public class GraphRequestStatusContribution extends WorkbenchWindowControlContribution implements ISessionContextChangedListener {
-
-    GraphRequestStatusTrim  trim;
-    ISessionContextProvider contextProvider;
-
-    @Override
-    public String getId() {
-        return "org.simantics.workbench.db.monitor";
-    }
-
-    @Override
-    protected Control createControl(Composite parent) {
-        IWorkbenchWindow window = getWorkbenchWindow();
-        contextProvider = SimanticsUI.getSessionContextProvider(window);
-        contextProvider.addContextChangedListener(this);
-
-        trim = new GraphRequestStatusTrim(parent, Activator.getDefault().getPreferenceStore());
-        ISessionContext ctx = SimanticsUI.getSessionContext();
-        if (ctx != null) {
-            trim.attachToSession(ctx.getSession());
-        }
-        return trim;
-    }
-
-    @Override
-    public void dispose() {
-        contextProvider.removeContextChangedListener(this);
-        trim = null;
-        super.dispose();
-    }
-
-    @Override
-    public void sessionContextChanged(SessionContextChangedEvent event) {
-//        System.out.println("session changed for '" + event.getHandle() + "' from '" + event.getOldValue() + "' to '" + event.getNewValue() + "'");
-        GraphRequestStatusTrim trim = this.trim;
-        if (trim != null) {
-            ISessionContext ctx = event.getNewValue();
-            trim.attachToSession((ctx != null) ? ctx.getSession() : null);
-        }
-    }
-
-}
+/*******************************************************************************
+ * 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.workbench.internal.contributions;
+
+import org.eclipse.swt.widgets.Composite;
+import org.eclipse.swt.widgets.Control;
+import org.eclipse.ui.IWorkbenchWindow;
+import org.eclipse.ui.menus.WorkbenchWindowControlContribution;
+import org.simantics.db.management.ISessionContext;
+import org.simantics.db.management.ISessionContextChangedListener;
+import org.simantics.db.management.ISessionContextProvider;
+import org.simantics.db.management.SessionContextChangedEvent;
+import org.simantics.ui.SimanticsUI;
+import org.simantics.workbench.internal.Activator;
+
+
+/**
+ * @author Tuukka Lehtonen
+ */
+public class GraphRequestStatusContribution extends WorkbenchWindowControlContribution implements ISessionContextChangedListener {
+
+    GraphRequestStatusTrim  trim;
+    ISessionContextProvider contextProvider;
+
+    @Override
+    public String getId() {
+        return "org.simantics.workbench.db.monitor";
+    }
+
+    @Override
+    protected Control createControl(Composite parent) {
+        IWorkbenchWindow window = getWorkbenchWindow();
+        contextProvider = SimanticsUI.getSessionContextProvider(window);
+        contextProvider.addContextChangedListener(this);
+
+        trim = new GraphRequestStatusTrim(parent, Activator.getDefault().getPreferenceStore());
+        ISessionContext ctx = SimanticsUI.getSessionContext();
+        if (ctx != null) {
+            trim.attachToSession(ctx.getSession());
+        }
+        return trim;
+    }
+
+    @Override
+    public void dispose() {
+        contextProvider.removeContextChangedListener(this);
+        trim = null;
+        super.dispose();
+    }
+
+    @Override
+    public void sessionContextChanged(SessionContextChangedEvent event) {
+//        System.out.println("session changed for '" + event.getHandle() + "' from '" + event.getOldValue() + "' to '" + event.getNewValue() + "'");
+        GraphRequestStatusTrim trim = this.trim;
+        if (trim != null) {
+            ISessionContext ctx = event.getNewValue();
+            trim.attachToSession((ctx != null) ? ctx.getSession() : null);
+        }
+    }
+
+}