~tapaal-contributor/tapaal/weight-values-fix-1770637

        // This function should always be called after a change in zoom.

        public void zoomTo(Point point) {

 

 

                JViewport viewport = (JViewport) getParent();           

 

                //Update elements in the view to zoom, i.e resize graphical elements and reposition them, all done in zoomUpdate.

                for (int i = 0; i < children.length; i++) {

                        if (children[i] instanceof Zoomable) {

                        }

                }