Method append

app/src/processing/app/ui/Recent.java:238–251

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
      }

      records.add(new Record(editor));
      save();
    }
  }


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