public static ScannerController getController(Controller controller) { return (ScannerController) controller.getExtension(ScannerController.class); }
public static FilterController getController(Controller controller) { return controller.getExtension(FilterController.class); }
public static FormatController getController(Controller controller) { return (FormatController) controller.getExtension(FormatController.class); }
public static ModelessAttributeController getController() { Controller controller = Controller.getCurrentController(); return (ModelessAttributeController) controller.getExtension(ModelessAttributeController.class); }
public static PrintController getController() { Controller controller = Controller.getCurrentController(); return controller.getExtension(PrintController.class); }
public static HelpController getController() { return Controller.getCurrentController().getExtension(HelpController.class); }
public static void exec(final String string, boolean waitFor) throws IOException { IControllerExecuteExtension ext = Controller.getCurrentController().getExtension(IControllerExecuteExtension.class); if(ext == null) { ext = Controller.getCurrentController().getDefaultExecuter(); } ext.exec(string, waitFor); }
public static void exec(final String[] command, boolean waitFor) throws IOException { IControllerExecuteExtension ext = Controller.getCurrentController().getExtension(IControllerExecuteExtension.class); if(ext == null) { ext = Controller.getCurrentController().getDefaultExecuter(); } ext.exec(command, waitFor); }
public static void install() { final Controller controller = Controller.getCurrentController(); final FilterController extension = new FilterController(); controller.addExtension(FilterController.class, extension); controller.getExtension(HighlightController.class).addNodeHighlighter(new NodeHighlighter() { @Override public boolean isNodeHighlighted(NodeModel node, boolean isPrinting) { return !isPrinting && FilterController.getController(controller).isNodeHighlighted(node); } @Override public void configure(Graphics2D g, boolean isPrinting) { g.setColor(HIGHLIGHT_COLOR); } }); }
for(PatternFormat f : Controller.getCurrentController().getExtension(FormatController.class).getSpecialFormats()){ if (pattern.equals(f.getPattern())) { return f;
@Override public void hierarchyChanged(HierarchyEvent e) { menuBar.removeHierarchyListener(this); final FilterController filterController = Controller.getCurrentController().getExtension(FilterController.class); if(filterController != null) MnemonicSetter.INSTANCE.setComponentMnemonics(menuBar, filterController.getQuickEditor()); else MnemonicSetter.INSTANCE.setComponentMnemonics(menuBar); } });
public void installExtension(final ModeController modeController) { //LattexNodeHook -> Menu insert final LatexNodeHook nodeHook = new LatexNodeHook(); modeController.getExtension(TextController.class).addTextTransformer(// new ConditionalContentTransformer(new LatexRenderer(), Activator.TOGGLE_PARSE_LATEX)); modeController.getController().getExtension(FormatController.class).addPatternFormat(new LatexFormat()); modeController.getController().getExtension(FormatController.class).addPatternFormat(new UnparsedLatexFormat()); if (modeController.getModeName().equals("MindMap")) { modeController.addAction(new InsertLatexAction(nodeHook)); modeController.addAction(new EditLatexAction(nodeHook)); modeController.addAction(new DeleteLatexAction(nodeHook)); addPreferencesToOptionPanel(); } }
private void paintDecoration(final Graphics2D g) { final PaintingMode paintingMode = map.getPaintingMode(); if(! (getMainView() != null && ( paintingMode.equals(PaintingMode.NODES) && !isSelected() || paintingMode.equals(PaintingMode.SELECTED_NODES) && isSelected()) && isContentVisible())) return; final Graphics2D g2 = g; final ModeController modeController = map.getModeController(); final Object renderingHint = g2.getRenderingHint(RenderingHints.KEY_ANTIALIASING); g2.setStroke(MainView.DEF_STROKE); modeController.getController().getMapViewManager().setEdgesRenderingHint(g2); final Point origin = new Point(); UITools.convertPointToAncestor(mainView, origin, this); g.translate(origin.x, origin.y); mainView.paintDecoration(this, g); g.translate(-origin.x, -origin.y); final HighlightController highlightController = getMap().getModeController().getController().getExtension(HighlightController.class); final List<NodeHighlighter> highlighters = highlightController.getHighlighters(model, map.isPrinting()); int margin = HIGHLIGHTED_NODE_ARC_MARGIN; for(NodeHighlighter highlighter : highlighters){ margin += HIGHLIGHTED_NODE_ARC_MARGIN; highlightNode(g, highlighter, margin); } g2.setRenderingHint(RenderingHints.KEY_ANTIALIASING, renderingHint); }
static public void install(final ModeController modeController) { final Controller controller = modeController.getController(); final NodeHistory history = (NodeHistory) controller.getExtension(NodeHistory.class); modeController.getMapController().addNodeSelectionListener(history.getMapSelectionListener()); LinkController.getController(modeController).addNodeSelectionListener(history.getLinkSelectionListener()); history.backAction = new BackAction(controller, history); modeController.addAction(history.backAction); history.forwardAction = new ForwardAction(controller, history); modeController.addAction(history.forwardAction); }
presentationController.addMapSelectionListener(); new PresentationBuilder().register(modeController.getMapController(), presentationController); HighlightController highlightController = modeController.getController().getExtension(HighlightController.class); final PresentationState presentationState = presentationController.presentationState; new PresentationPngExporter.ActionInstaller().installActions(modeController, presentationState);