Method remove

app/src/processing/app/ui/Recent.java:242–249

(Editor editor)

  synchronized static public void remove(Editor editor) {
    int index = findRecord(editor.getSketch().getMainFilePath());
    if (index != -1) {
      System.out.println("removing " + editor.getSketch().getMainFilePath());
      new Exception().printStackTrace(System.out);
      records.remove(index);
    }
  }


//  synchronized void handleRename(String oldPath, String newPath) {