diff --git a/ivette/src/dome/src/renderer/text/buffers.ts b/ivette/src/dome/src/renderer/text/buffers.ts index 0a48d9d6613061fe081c41c90d8057fd52c784ff..dec2ee208d68d69f84b577a8b09c956d9889ddbc 100644 --- a/ivette/src/dome/src/renderer/text/buffers.ts +++ b/ivette/src/dome/src/renderer/text/buffers.ts @@ -443,7 +443,7 @@ export class RichTextBuffer extends Emitter { this.doFlushText(); this.emit('scroll', position); } else if (typeof position === 'string') { - var line = Infinity; + let line = Infinity; this.findTextMarker(position).forEach((tm) => { const rg = tm.find(); const ln = rg.from.line; @@ -550,7 +550,7 @@ export class RichTextBuffer extends Emitter { /* Close Operation */ private doMark(tag: BufferedMarker) { const { id, hover, className, startIndex, stopIndex } = tag; - var markerId; + let markerId; if (id || hover) { markerId = 'dome-xHover-' + (this.markid++); const cmark = {