// Create a listener to react to page setting changes.
Simantics.getSession().asyncRequest(DiagramRequests.getDiagramDesc(diagramResource), new Listener<DiagramDesc>() {
-
@Override
public void execute(DiagramDesc result) {
if (result != null && ctx != null) {
- ThreadUtils.asyncExec(ctx.getThreadAccess(), new Runnable() {
- @Override
- public void run() {
- if (ctx != null) {
- setDiagramDesc(ctx, result);
- }
+ ThreadUtils.asyncExec(ctx.getThreadAccess(), () -> {
+ if (ctx != null) {
+ setDiagramDesc(ctx, result);
}
});
}
@Override
public boolean isDisposed() {
- return ctx == null;
+ return DiagramSceneGraphProvider.this.ctx == null;
}
-
});
} catch (DatabaseException e) {
ErrorLogger.defaultLogError(e);