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