!752

p-subst {
  final JTextField tfID = jtextfield();
  showFormTitled("Select JavaX Snippet To Edit",
    "Snippet ID", tfID, r {
      editJavaXSnippet(fsI(getTextTrim(tfID)))
    });
  hideConsole();
}