svoid scrollIntoView(JComponent c) {
  if (c != null) swing { c.scrollRectToVisible(new Rectangle(0, 0, c.getWidth(), c.getHeight())); }
}