| /plugin/jdraw/src/com/mxgraph/examples/swing/editor/ |
| D | EditorActions.java | 119 mxGraphComponent graphComponent = editor in ToggleRulersItem() 122 if (graphComponent.getColumnHeader() != null) { in ToggleRulersItem() 123 graphComponent.setColumnHeader(null); in ToggleRulersItem() 124 graphComponent.setRowHeader(null); in ToggleRulersItem() 126 graphComponent.setColumnHeaderView(new EditorRuler( in ToggleRulersItem() 127 graphComponent, in ToggleRulersItem() 129 graphComponent.setRowHeaderView(new EditorRuler( in ToggleRulersItem() 130 graphComponent, in ToggleRulersItem() 156 mxGraphComponent graphComponent = editor in ToggleGridItem() 158 mxGraph graph = graphComponent.getGraph(); in ToggleGridItem() [all …]
|
| D | EditorActions.java.bak | 119 mxGraphComponent graphComponent = editor 122 if (graphComponent.getColumnHeader() != null) { 123 graphComponent.setColumnHeader(null); 124 graphComponent.setRowHeader(null); 126 graphComponent.setColumnHeaderView(new EditorRuler( 127 graphComponent, 129 graphComponent.setRowHeaderView(new EditorRuler( 130 graphComponent, 156 mxGraphComponent graphComponent = editor 158 mxGraph graph = graphComponent.getGraph(); [all …]
|
| D | BasicGraphEditor.java | 86 protected mxGraphComponent graphComponent; field in BasicGraphEditor 167 graphComponent = component; in BasicGraphEditor() 168 final mxGraph graph = graphComponent.getGraph(); in BasicGraphEditor() 197 graphOutline = new mxGraphOutline(graphComponent); in BasicGraphEditor() 213 JSplitPane outer = new JSplitPane(JSplitPane.HORIZONTAL_SPLIT, inner, graphComponent); in BasicGraphEditor() 251 rubberband = new mxRubberband(graphComponent); in installHandlers() 252 keyboardHandler = new EditorKeyboardHandler(graphComponent); in installHandlers() 279 graphComponent.getGraph().addListener(mxEvent.REPAINT, in installRepaintListener() 284 String buffer = (graphComponent.getTripleBuffer() != null) ? "" in installRepaintListener() 342 graphComponent.zoomIn(); in mouseWheelMoved() [all …]
|
| D | SchemaEditorMenuBar.java | 55 final mxGraphComponent graphComponent = editor.getGraphComponent(); in SchemaEditorMenuBar() local 56 final mxGraph graph = graphComponent.getGraph(); in SchemaEditorMenuBar() 128 JMenuItem item = menu.add(new TogglePropertyItem(graphComponent, in SchemaEditorMenuBar() 137 if (graphComponent.isPageVisible() in SchemaEditorMenuBar() 138 && graphComponent.isCenterPage()) in SchemaEditorMenuBar() 140 graphComponent.zoomAndCenter(); in SchemaEditorMenuBar() 155 final mxGraphComponent graphComponent = editor in SchemaEditorMenuBar() 171 graphComponent.scrollToCenter(true); in SchemaEditorMenuBar() 172 graphComponent.scrollToCenter(false); in SchemaEditorMenuBar() 179 mxPoint tr = graphComponent.getGraph().getView() in SchemaEditorMenuBar() [all …]
|
| D | SchemaEditorToolBar.java | 137 mxGraphComponent graphComponent = editor.getGraphComponent(); in SchemaEditorToolBar() 147 graphComponent.setPageVisible(true); in SchemaEditorToolBar() 148 graphComponent in SchemaEditorToolBar() 153 graphComponent.setPageVisible(true); in SchemaEditorToolBar() 154 graphComponent in SchemaEditorToolBar() 159 graphComponent.zoomActual(); in SchemaEditorToolBar() 168 graphComponent.zoomTo(scale, graphComponent in SchemaEditorToolBar()
|
| D | EditorRuler.java | 139 protected mxGraphComponent graphComponent; field in EditorRuler 170 public EditorRuler(mxGraphComponent graphComponent, int orientation) in EditorRuler() argument 173 this.graphComponent = graphComponent; in EditorRuler() 176 graphComponent.getGraph().getView().addListener( in EditorRuler() 178 graphComponent.getGraph().getView().addListener( in EditorRuler() 180 graphComponent.getGraph().getView().addListener( in EditorRuler() 183 graphComponent.getGraphControl().addMouseMotionListener(this); in EditorRuler() 185 DropTarget dropTarget = graphComponent.getDropTarget(); in EditorRuler() 292 Dimension dim = graphComponent.getGraphControl().getPreferredSize(); in getPreferredSize() 384 double graphScale = graphComponent.getGraph().getView().getScale(); in updateIncrementAndUnits() [all …]
|
| D | BasicGraphEditor.java.bak | 84 protected mxGraphComponent graphComponent; 163 graphComponent = component; 164 final mxGraph graph = graphComponent.getGraph(); 193 graphOutline = new mxGraphOutline(graphComponent); 209 JSplitPane outer = new JSplitPane(JSplitPane.HORIZONTAL_SPLIT, inner, graphComponent); 247 rubberband = new mxRubberband(graphComponent); 248 keyboardHandler = new EditorKeyboardHandler(graphComponent); 275 graphComponent.getGraph().addListener(mxEvent.REPAINT, 280 String buffer = (graphComponent.getTripleBuffer() != null) ? "" 338 graphComponent.zoomIn(); [all …]
|
| D | EditorMenuBar.java | 67 final mxGraphComponent graphComponent = editor.getGraphComponent(); in EditorMenuBar() local 68 final mxGraph graph = graphComponent.getGraph(); in EditorMenuBar() 140 JMenuItem item = menu.add(new TogglePropertyItem(graphComponent, in EditorMenuBar() 149 if (graphComponent.isPageVisible() in EditorMenuBar() 150 && graphComponent.isCenterPage()) in EditorMenuBar() 152 graphComponent.zoomAndCenter(); in EditorMenuBar() 156 graphComponent.getGraphControl() in EditorMenuBar() 172 final mxGraphComponent graphComponent = editor in EditorMenuBar() 188 graphComponent.scrollToCenter(true); in EditorMenuBar() 189 graphComponent.scrollToCenter(false); in EditorMenuBar() [all …]
|
| D | EditorToolBar.java | 234 mxGraphComponent graphComponent = editor.getGraphComponent(); in EditorToolBar() 244 graphComponent.setPageVisible(true); in EditorToolBar() 245 graphComponent in EditorToolBar() 250 graphComponent.setPageVisible(true); in EditorToolBar() 251 graphComponent in EditorToolBar() 256 graphComponent.zoomActual(); in EditorToolBar() 265 graphComponent.zoomTo(scale, graphComponent in EditorToolBar()
|
| D | EditorMenuBar.java.bak | 67 final mxGraphComponent graphComponent = editor.getGraphComponent(); 68 final mxGraph graph = graphComponent.getGraph(); 140 JMenuItem item = menu.add(new TogglePropertyItem(graphComponent, 149 if (graphComponent.isPageVisible() 150 && graphComponent.isCenterPage()) 152 graphComponent.zoomAndCenter(); 156 graphComponent.getGraphControl() 172 final mxGraphComponent graphComponent = editor 188 graphComponent.scrollToCenter(true); 189 graphComponent.scrollToCenter(false); [all …]
|
| D | EditorKeyboardHandler.java | 27 public EditorKeyboardHandler(mxGraphComponent graphComponent) in EditorKeyboardHandler() argument 29 super(graphComponent); in EditorKeyboardHandler()
|
| /plugin/jdraw/src/com/mxgraph/examples/swing/ |
| D | CustomCanvas.java | 79 mxGraphComponent graphComponent = new mxGraphComponent(graph) in CustomCanvas() local 92 getContentPane().add(graphComponent); in CustomCanvas() 95 new mxRubberband(graphComponent); in CustomCanvas() 104 protected mxGraphComponent graphComponent; field in CustomCanvas.SwingCanvas 106 public SwingCanvas(mxGraphComponent graphComponent) in SwingCanvas() argument 108 this.graphComponent = graphComponent; in SwingCanvas() 113 vertexRenderer.setBackground(graphComponent.getBackground() in SwingCanvas() 123 rendererPane.paintComponent(g, vertexRenderer, graphComponent, in drawVertex()
|
| D | Validation.java | 89 final mxGraphComponent graphComponent = new mxGraphComponent(graph); in Validation() local 92 graphComponent.setConnectable(true); in Validation() 93 graphComponent.setToolTips(true); in Validation() 96 new mxRubberband(graphComponent); in Validation() 97 new mxKeyboardHandler(graphComponent); in Validation() 105 graphComponent.validateGraph(); in Validation() 110 graphComponent.validateGraph(); in Validation() 112 getContentPane().add(graphComponent); in Validation()
|
| D | CustomCanvas.java.bak | 77 mxGraphComponent graphComponent = new mxGraphComponent(graph) 90 getContentPane().add(graphComponent); 93 new mxRubberband(graphComponent); 102 protected mxGraphComponent graphComponent; 104 public SwingCanvas(mxGraphComponent graphComponent) 106 this.graphComponent = graphComponent; 111 vertexRenderer.setBackground(graphComponent.getBackground() 121 rendererPane.paintComponent(g, vertexRenderer, graphComponent,
|
| D | Validation.java.bak | 85 final mxGraphComponent graphComponent = new mxGraphComponent(graph); 88 graphComponent.setConnectable(true); 89 graphComponent.setToolTips(true); 92 new mxRubberband(graphComponent); 93 new mxKeyboardHandler(graphComponent); 101 graphComponent.validateGraph(); 106 graphComponent.validateGraph(); 108 getContentPane().add(graphComponent);
|
| D | ClickHandler.java | 40 final mxGraphComponent graphComponent = new mxGraphComponent(graph); in ClickHandler() local 41 getContentPane().add(graphComponent); in ClickHandler() 43 graphComponent.getGraphControl().addMouseListener(new MouseAdapter() in ClickHandler() 48 Object cell = graphComponent.getCellAt(e.getX(), e.getY()); in ClickHandler()
|
| D | HelloWorld.java | 37 mxGraphComponent graphComponent = new mxGraphComponent(graph); in HelloWorld() local 38 getContentPane().add(graphComponent); in HelloWorld()
|
| D | Port.java | 110 mxGraphComponent graphComponent = new mxGraphComponent(graph); in Port() local 111 getContentPane().add(graphComponent); in Port() 112 graphComponent.setToolTips(true); in Port()
|
| D | UserObject.java | 158 mxGraphComponent graphComponent = new mxGraphComponent(graph) in UserObject() local 190 getContentPane().add(graphComponent); in UserObject() 194 graphComponent.setEnterStopsCellEditing(true); in UserObject()
|
| D | UserObject.java.bak | 152 mxGraphComponent graphComponent = new mxGraphComponent(graph) 184 getContentPane().add(graphComponent); 188 graphComponent.setEnterStopsCellEditing(true);
|
| D | GraphEditor.java | 88 final mxGraph graph = graphComponent.getGraph(); in GraphEditor() 443 graphComponent, in loadPalettes() 507 graphComponent, in loadPalette()
|
| D | GraphEditor.java.bak | 71 final mxGraph graph = graphComponent.getGraph();
|
| /plugin/jdraw/lib/ |
| D | jgraphx-examples.jar | META-INF/MANIFEST.MF
META-INF/HAMMURAP.SF
META-INF/HAMMURAP ... |
| D | jdraw.jar | META-INF/MANIFEST.MF
META-INF/HAMMURAP.SF
META-INF/HAMMURAP ... |
| D | jgraphx.jar | META-INF/MANIFEST.MF
META-INF/HAMMURAP.SF
META-INF/HAMMURAP ... |