super(parent, style, editor.toBeEdited.submodel);
handles = editor.handleManager.getHandles();
super(parent, style, editor.toBeEdited.submodel);
handles = editor.handleManager.getHandles();
addZoomedRenderer(gc ->
{
Rectangle visibleRegion = new Rectangle(-offX / zoom, -offY / zoom, gW / zoom, gH / zoom);
addZoomedRenderer(gc ->
{
Rectangle visibleRegion = new Rectangle(-offX / zoom, -offY / zoom, gW / zoom, gH / zoom);