CaretHistory.pushNewPosition

Undocumented in source. Be warned that the author may not have intended to support it.
  1. void pushNewPosition()
    class CaretHistory
    void
    pushNewPosition
    ()
  2. void pushNewPosition(string filePath, uint line, uint pos)

Meta