/** initial all resources. */ public void initialRes() { workflowEditor = getActiveWEEditor(); workflowResource = workflowEditor.getMainModelResource(); workflowModel = (Model) workflowEditor.getModel(); activity = workflowEditor.getDisplayedActivityModel(); diagram = workflowEditor.getDiagramData(); // activity = getActiveActivitySheet().getActivityModel(); // EditingDomain editingDomain = workflowEditor.getEmfEditingDomain(); workflowViewResource = WorkflowUtil.getWorkflowViewReousrce(workflowResource); workflowConfResource = WorkflowUtil.getWorkflowConfReousrce(workflowResource); confModel = (ConfModel) workflowConfResource.getContents().get(0); }
/** refresh the jwt editor. */ public void refresh() { workflowEditor.refreshOutline(); workflowEditor.refreshPages(); workflowEditor.refreshProperties(); workflowEditor.refreshZoom(); }