/** * Pans the display back to the origin, so that 0, 0 is at the the upper left of the visible * viewport. */ public void recenter(Location loc) { originRow = loc.getRow(); originCol = loc.getCol(); repaint(); JViewport vp = getEnclosingViewport(); if (vp != null) { if (!isPannableUnbounded() || !(vp instanceof PseudoInfiniteViewport)) vp.setViewPosition(pointForLocation(loc)); else showPanTip(); } }