static void selectSnippetID(final VF1<S> onSelect) {
  final JTextField tfSnippetID = jtextfield("#");
  
  renameSubmitButton(showTitledForm("Select Snippet",
    "Snippet ID:", tfSnippetID, r { awt {
      callF(onSelect, fsI(getTextTrim(tfSnippetID)));
    }}), "Select snippet");
}