!7

p-noconsole {
  final JTextField snippetID = snippetIDChooser();
  final JLabel title = jAutoSnippetTitle(snippetID);
  final JTextField newTitle = jtextfield();
  renameSubmitButton("Rename snippet",
    showForm(+snippetID, +title, +newTitle, disableButtonWhileCalcing(func -> bool {
      S s = renameSnippet(getText(snippetID), getTextTrim(newTitle));
      bool ok = swic(s, "OK");
      infoBox(ok ? "Renamed!" : "Error: " + s);
      ret ok;
    })));
}