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