public String getName() {
return super.getName() + "#" +textID+ "(" + start + "," + end + ")";
}
public JSVGCanvasHandler createCanvasHandler() {
return new JSVGCanvasHandler(this, this) {
public JSVGCanvas createCanvas() {
JSVGCanvas ret = new JSVGCanvas();
ret.setDocumentState(JSVGCanvas.ALWAYS_DYNAMIC);
return ret;
}