Home
last modified time | relevance | path

Searched defs:marqueeHandler (Results 1 – 3 of 3) sorted by relevance

/dports/java/jgraph/jgraph-java-5.13.0.4/examples/com/jgraph/example/
H A DGraphEdX.java347 BasicMarqueeHandler marqueeHandler = graph.getMarqueeHandler(); in deserializeGraph() local
416 BasicMarqueeHandler marqueeHandler = graph.getMarqueeHandler(); in openFile() local
/dports/java/jgraph/jgraph-java-5.13.0.4/examples/com/jgraph/layout/
H A DJGraphLayoutExample.java277 BasicMarqueeHandler marqueeHandler = graph.getMarqueeHandler(); in openFile() local
/dports/java/jgraph/jgraph-java-5.13.0.4/src/org/jgraph/plaf/basic/
H A DBasicGraphUI.java286 protected void setMarquee(BasicMarqueeHandler marqueeHandler) { in setMarquee()