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