static JScrollPane jscroll_centered(Component c) {
  ret jscroll(jFullCenter(c));
}