svoid saveTextFileWithInfoBox(File f, S text) {
  saveTextFile(f, text);
  fileSavedInfoBox(f);
}