593594595596597598599
* the <code>GraphModel</code> to use as the data model * @param cache * the <code>GraphLayoutCache</code> to use as the cache */ public JGraph(GraphModel model, GraphLayoutCache cache) { this(model, cache, new BasicMarqueeHandler()); }
1756175717581759176017611762176317641765
* @param newMarquee * the <code>BasicMarqueeHandler</code> that is to provide * marquee handling */ public void setMarqueeHandler(BasicMarqueeHandler newMarquee) { BasicMarqueeHandler oldMarquee = marquee; marquee = newMarquee; firePropertyChange(MARQUEE_HANDLER_PROPERTY, oldMarquee, newMarquee); invalidate(); }
949596979899100
* * @param model the <code>GraphModel</code> to use as the data model * @param view the <code>GraphLayoutCache</code> to use as the view */ public JmtJGraph(GraphModel model, GraphLayoutCache view, Mediator m) { this(model, view, new BasicMarqueeHandler(), m); }
63646566676869
insert = new InsertState(mediator); this.mediator = mediator; currentState = nothing = new UIStateDefault(mediator); select = new SelectState(mediator, this); connect = new ConnectState(mediator, this); marquee = new BasicMarqueeHandler(); }
620621622623624625626
1845184618471848184918501851185218531854
716717718719720721722
2545254625472548254925502551255225532554