static JTabbedPane scrollingTabs(JTabbedPane pane) {
  if (pane != null) swing { pane.setTabLayoutPolicy(JTabbedPane.SCROLL_TAB_LAYOUT); }
  ret pane;
}