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