/** Creates a new Drawing for this view. */
protected Drawing createDrawing() {
DefaultDrawing drawing = new DefaultDrawing();
DOMStorableInputOutputFormat ioFormat = new DOMStorableInputOutputFormat(new NetFactory());
drawing.addInputFormat(ioFormat);
drawing.addInputFormat(new TextInputFormat(new NodeFigure()));
drawing.addOutputFormat(ioFormat);
drawing.addOutputFormat(new ImageOutputFormat());
return drawing;
}
