diff --git a/src/text-editor.js b/src/text-editor.js index 6f9993eed..18c767f81 100644 --- a/src/text-editor.js +++ b/src/text-editor.js @@ -121,7 +121,7 @@ class TextEditor { this.id = params.id != null ? params.id : nextId++ if (this.id >= nextId) { // Ensure that new editors get unique ids: - nextId = this.id + 1; + nextId = this.id + 1 } this.initialScrollTopRow = params.initialScrollTopRow this.initialScrollLeftColumn = params.initialScrollLeftColumn