Method compareTo

app/src/processing/app/ui/EditorHeader.java:508–520

(Tab other)

    // sort by the last time visited
    public int compareTo(Tab other) {
      // do this here to deal with situation where both are 0
      if (lastVisited == other.lastVisited) {
        return 0;
      }
      if (lastVisited == 0) {
        return -1;
      }
      if (other.lastVisited == 0) {
        return 1;
      }
      return (int) (lastVisited - other.lastVisited);
    }
  }
}