656657658659660661662663664665666
{ vv.getRenderer().getEdgeRenderer().setEdgeArrowRenderingSupport(new CenterEdgeArrowRenderingSupport()); } else { vv.getRenderer().getEdgeRenderer().setEdgeArrowRenderingSupport(new BasicEdgeArrowRenderingSupport()); } } else if (source == font) { vff.setBold(source.isSelected());