drawSegments();
//
// Build Interface
//
SVGCheckbox checkbox = new SVGCheckbox(showUnclusteredPairs, "Show unclustered pairs");
checkbox.addCheckBoxListener(new ChangeListener() {
@Override
public void stateChanged(ChangeEvent e) {
toggleUnclusteredPairs(((SVGCheckbox) e.getSource()).isChecked());
}
});
// Add ring:clustering info
Element clrInfo = drawClusteringInfo();
Element c = checkbox.renderCheckBox(svgp, 1, 5 + Double.parseDouble(clrInfo.getAttribute(SVGConstants.SVG_HEIGHT_ATTRIBUTE)), 11);
ctrlLayer.appendChild(clrInfo);
ctrlLayer.appendChild(c);
ctrlLayer.setAttribute(SVGConstants.SVG_TRANSFORM_ATTRIBUTE, "scale(" + (0.25 / StyleLibrary.SCALE) + ")");