static JTextField snippetIDChooser() {
  ret jtextfield("#");
}