Method finalizeLastHistoryEntry

src/ide.ts:1508–1512

()

  }

  finalizeLastHistoryEntry() {
    let history = this.history;
    if(!history.items.length) return;
    history.items[history.items.length - 1].finalized = true;
  }

  //-------------------------------------------------------
  // Handlers