/dports/java/jgraph/jgraph-java-5.13.0.4/examples/org/jgraph/example/ |
H A D | IconExample.java | 111 URL jgraphUrl = IconExample.class.getClassLoader() in IconExample() local 114 if (jgraphUrl != null) { in IconExample() 116 jgraphIcon = new ImageIcon(jgraphUrl); in IconExample() 272 URL jgraphUrl = IconExample.class.getClassLoader().getResource( in main() local 275 if (jgraphUrl != null) { in main() 277 ImageIcon jgraphIcon = new ImageIcon(jgraphUrl); in main()
|
H A D | GraphEd.java | 118 URL jgraphUrl = GraphEd.class.getClassLoader().getResource( in main() local 121 if (jgraphUrl != null) { in main() 123 ImageIcon jgraphIcon = new ImageIcon(jgraphUrl); in main()
|
/dports/java/jgraph/jgraph-java-5.13.0.4/examples/com/jgraph/example/groupeditor/ |
H A D | EditableGroupDemo.java | 76 URL jgraphUrl = GraphEdX.class.getClassLoader().getResource( in main() local 79 if (jgraphUrl != null) { in main() 81 ImageIcon jgraphIcon = new ImageIcon(jgraphUrl); in main()
|
/dports/java/jgraph/jgraph-java-5.13.0.4/examples/com/jgraph/components/ |
H A D | OverviewExample.java | 64 URL jgraphUrl = GraphEdX.class.getClassLoader().getResource( in main() local 67 if (jgraphUrl != null) { in main() 69 ImageIcon jgraphIcon = new ImageIcon(jgraphUrl); in main()
|
H A D | RichTextExample.java | 77 URL jgraphUrl = GraphEdX.class.getClassLoader().getResource( in main() local 80 if (jgraphUrl != null) { in main() 82 ImageIcon jgraphIcon = new ImageIcon(jgraphUrl); in main()
|
/dports/java/jgraph/jgraph-java-5.13.0.4/examples/com/jgraph/layout/svg/ |
H A D | SVGExample.java | 135 URL jgraphUrl = GraphEdX.class.getClassLoader().getResource( in main() local 138 if (jgraphUrl != null) { in main() 140 ImageIcon jgraphIcon = new ImageIcon(jgraphUrl); in main()
|
/dports/java/jgraph/jgraph-java-5.13.0.4/examples/com/jgraph/example/ |
H A D | GraphEdMV.java | 79 …URL jgraphUrl = GraphEdMV.class.getClassLoader().getResource("org/jgraph/example/resources/jgraph.… in main() local 81 if (jgraphUrl != null) { in main() 83 ImageIcon jgraphIcon = new ImageIcon(jgraphUrl); in main()
|
H A D | GraphEdX.java | 573 URL jgraphUrl = GraphEdX.class.getClassLoader().getResource( in main() local 576 if (jgraphUrl != null) { in main() 578 ImageIcon jgraphIcon = new ImageIcon(jgraphUrl); in main()
|
/dports/java/jgraph/jgraph-java-5.13.0.4/examples/com/jgraph/navigation/ |
H A D | NavigationExample.java | 129 URL jgraphUrl = GraphEd.class.getClassLoader().getResource( in main() local 132 if (jgraphUrl != null) { in main() 134 ImageIcon jgraphIcon = new ImageIcon(jgraphUrl); in main()
|
/dports/java/jgraph/jgraph-java-5.13.0.4/examples/com/jgraph/example/panelexample/ |
H A D | PortLabelGraph.java | 164 URL jgraphUrl = PortLabelGraph.class.getClassLoader().getResource( in main() local 167 if (jgraphUrl != null) { in main() 169 ImageIcon jgraphIcon = new ImageIcon(jgraphUrl); in main()
|
/dports/java/jgraph/jgraph-java-5.13.0.4/examples/com/jgraph/example/portlabels/ |
H A D | PortLabelGraph.java | 153 URL jgraphUrl = PortLabelGraph.class.getClassLoader().getResource( in main() local 156 if (jgraphUrl != null) { in main() 158 ImageIcon jgraphIcon = new ImageIcon(jgraphUrl); in main()
|
/dports/java/jgraph/jgraph-java-5.13.0.4/examples/com/jgraph/example/fastgraph/ |
H A D | FastGraph.java | 251 URL jgraphUrl = FastGraph.class.getClassLoader().getResource( in main() local 254 if (jgraphUrl != null) { in main() 256 ImageIcon jgraphIcon = new ImageIcon(jgraphUrl); in main()
|
/dports/java/jgraph/jgraph-java-5.13.0.4/examples/com/jgraph/example/adapter/ |
H A D | JGraphAdapterExample.java | 256 URL jgraphUrl = JGraphAdapterExample.class.getClassLoader() in main() local 259 if (jgraphUrl != null) { in main() 261 ImageIcon jgraphIcon = new ImageIcon(jgraphUrl); in main()
|
/dports/java/jgraph/jgraph-java-5.13.0.4/examples/com/jgraph/layout/ |
H A D | JGraphLayoutExample.java | 331 URL jgraphUrl = JGraphLayoutExample.class.getClassLoader() in main() local 334 if (jgraphUrl != null) { in main() 336 ImageIcon jgraphIcon = new ImageIcon(jgraphUrl); in main()
|