Method append

app/src/processing/app/ui/Recent.java:291–310

Called by Base when a new sketch is opened, to add the sketch to the last entry on the Recent queue. If the sketch is already in the list, it is first removed so it doesn't show up multiple times.

(Editor editor)

   * first removed so it doesn't show up multiple times.
   */
  synchronized static public void append(Editor editor) {
    if (!editor.getSketch().isUntitled()) {
      // If this sketch is already in the menu, remove it
      remove(editor);

      // If the list is full, remove the first entry
      if (records.size() == Preferences.getInteger("recent.count")) {
        records.remove(0);  // remove the first entry
      }

//      new Exception("adding to recent: " + editor.getSketch().getMainFilePath()).printStackTrace(System.out);
//    Record newRec = new Record(editor, editor.getSketch());
//    records.add(newRec);
      records.add(new Record(editor));
//    updateMenu();
      save();
//    } else {
//      new Exception("NOT adding to recent: " + editor.getSketch().getMainFilePath()).printStackTrace(System.out);
    }
  }


  synchronized static public void rename(Editor editor, String oldPath) {