private void setRuler(RulerProvider provider, int orientation) { Object ruler = null; if (isRulerVisible && provider != null) // provider.getRuler() might return null (at least the API does not // prevent that) ruler = provider.getRuler(); if (ruler == null) { // Ruler is not visible or is not present setRulerContainer(null, orientation); // Layout right-away to prevent an empty control from showing layout(true); return; } GraphicalViewer container = getRulerContainer(orientation); if (container == null) { container = createRulerContainer(orientation); setRulerContainer(container, orientation); } if (container.getContents() != ruler) { container.setContents(ruler); needToLayout = true; Display.getCurrent().asyncExec(runnable); } }
private void refreshGraphicalViewer() { IEditorInput input = getEditorInput(); if (input instanceof IFileEditorInput) { try { IFile file = ((IFileEditorInput) input).getFile(); GraphicalViewer viewer = getGraphicalViewer(); // desirialize RootModel newRoot = null; try { newRoot = DiagramSerializer.deserialize(file.getContents()); } catch (Exception ex) { UMLPlugin.logException(ex); return; } // copy to editing model RootModel root = (RootModel) viewer.getContents().getModel(); root.copyFrom(newRoot); } catch (Exception ex) { UMLPlugin.logException(ex); } } }
/** {@inheritDoc} */ @Override public void doTask(ERDiagram diagram) throws Exception { this.outputDir = getAbsolutePath(this.outputDir); this.outputDir = this.outputDir + "/dbdocs/"; this.log("Output to : " + this.outputDir); // 出力ディレクトリの削除 File dir = new File(outputDir); FileUtils.deleteDirectory(dir); dir = new File(outputDir + "image"); dir.mkdirs(); String outputImageFilePath = this.outputDir + "image/er.png"; this.log("Output image to : " + outputImageFilePath); Image img = null; GraphicalViewer viewer = null; try { viewer = Activator.createGraphicalViewer(diagram); int format = ExportToImageAction.getFormatType(outputImageFilePath); img = Activator.createImage(viewer); ExportToImageManager exportToImageManager = new ExportToImageManager(img, format, outputImageFilePath); exportToImageManager.doProcess(); Map<TableView, Location> tableLocationMap = ExportToHtmlAction.getTableLocationMap(viewer, diagram); ExportToHtmlManager reportManager = new ExportToHtmlManager(this.outputDir, diagram, tableLocationMap); this.log("Output html beginning..."); reportManager.doProcess(); } finally { if (viewer != null) { viewer.getContents().deactivate(); } if (img != null) { img.dispose(); } } }