X-Git-Url: https://gerrit.simantics.org/r/gitweb?p=simantics%2Fplatform.git;a=blobdiff_plain;f=bundles%2Forg.simantics.team.ui%2Fsrc%2Forg%2Fsimantics%2Fteam%2Fui%2Fhandlers%2FStageEditHandler.java;fp=bundles%2Forg.simantics.team.ui%2Fsrc%2Forg%2Fsimantics%2Fteam%2Fui%2Fhandlers%2FStageEditHandler.java;h=2d59e369d3b2baca4d98960f869a4e8b3d23cc89;hp=3a8f025737d6a17ccaa9045759655e22c7e22088;hb=e88be95edf1f80781646cfdf717ec1b663264179;hpb=a22c5a8681859b6518017f3ad2be7e9319a6695e diff --git a/bundles/org.simantics.team.ui/src/org/simantics/team/ui/handlers/StageEditHandler.java b/bundles/org.simantics.team.ui/src/org/simantics/team/ui/handlers/StageEditHandler.java index 3a8f02573..2d59e369d 100644 --- a/bundles/org.simantics.team.ui/src/org/simantics/team/ui/handlers/StageEditHandler.java +++ b/bundles/org.simantics.team.ui/src/org/simantics/team/ui/handlers/StageEditHandler.java @@ -21,6 +21,7 @@ import org.eclipse.core.runtime.NullProgressMonitor; import org.eclipse.core.runtime.Platform; import org.eclipse.jface.dialogs.MessageDialog; import org.eclipse.ui.PlatformUI; +import org.simantics.Simantics; import org.simantics.db.Resource; import org.simantics.db.ServerReference; import org.simantics.db.Session; @@ -30,7 +31,6 @@ import org.simantics.team.Activator; import org.simantics.team.internal.StagingLauncher; import org.simantics.team.internal.StagingLauncher.Config; import org.simantics.team.internal.StagingLauncher.StagingResult; -import org.simantics.ui.SimanticsUI; import org.simantics.ui.workbench.handler.AbstractPreferenceHandler; import org.simantics.utils.FileUtils; import org.simantics.utils.ui.ErrorLogger; @@ -49,7 +49,7 @@ public class StageEditHandler extends AbstractPreferenceHandler { public Object execute(ExecutionEvent event) throws ExecutionException { System.out.println("DEBUG: EditStageHandler"); try { - Session session = SimanticsUI.getSession(); + Session session = Simantics.getSession(); File wsFolder = new File(Platform.getInstanceLocation().getURL().getFile()); File stFolder = new File(wsFolder, "staging"); if (!stFolder.isDirectory())