p.scale(abstraction.getMagFactor()); drawingCanvas.setPlaneArea(p, index);
if (p != null) { p.scale(abstraction.getMagFactor()); drawingCanvas.setPlaneArea(p, index); }
    public void copyAcrossT(PlaneArea pa, int from, int to, int z)    {        int index = presentation.getToolBar().getSelectedIndex();        abstraction.copyAcrossT(pa, index, from, to, z);        int t = getCurrentT();        if (z == getCurrentZ() && (t >= from || t <= to)) {            PlaneArea p = abstraction.getPlaneArea(z, t, index);            p.scale(abstraction.getMagFactor());            drawingCanvas.setPlaneArea(p, index);        }    }