import org.eclipse.swt.widgets.Label;
import org.eclipse.swt.widgets.Shell;
import org.eclipse.swt.widgets.Text;
+import org.simantics.Simantics;
import org.simantics.db.ReadGraph;
import org.simantics.db.Resource;
import org.simantics.db.Session;
import org.simantics.diagram.synchronization.graph.DiagramGraphUtil;
import org.simantics.modeling.ui.preferences.DiagramPreferences;
import org.simantics.scl.commands.Commands;
-import org.simantics.ui.SimanticsUI;
import org.simantics.utils.page.PageDesc;
/**
public PageSettingsDialog(Resource diagramResource, Shell parentShell) {
super(parentShell);
- this.session = SimanticsUI.getSession();
+ this.session = Simantics.getSession();
this.diagramResource = diagramResource;
}