context = userHome;
}
Composite toShow = getLayer(layer, context);
- getDisplay().syncExec(() -> {
- toShow.moveAbove(null);
- dynamicArea.layout(true, true);
- });
+ if (!isDisposed())
+ getDisplay().syncExec(() -> {
+ toShow.moveAbove(null);
+ dynamicArea.layout(true, true);
+ });
currentLayerId = layer;
return toShow;
}
return sysSession;
}
+ Session getSession(String workspaceName) {
+ if (workspaceName == null)
+ return sysSession;
+ if (NodeConstants.SYS_WORKSPACE.equals(workspaceName))
+ return sysSession;
+ else if (NodeConstants.HOME_WORKSPACE.equals(workspaceName))
+ return homeSession;
+ else
+ throw new IllegalArgumentException("Unknown workspace " + workspaceName);
+ }
+
}