svoid setEnclosingViewPosition(Component c, Pt etc p) {
  setEnclosingViewPosition(c, toPoint(p));
}

svoid setEnclosingViewPosition(Component c, Point p) {
  if (p == null) ret;
  JScrollPane sp = enclosingScrollPane(c);
  if (sp != null) swing { sp.getViewport().setViewPosition(p); }
}