From 14bfe4e23a2718e5ceae7a1b1b61156260b10eaf Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Tue, 28 Jul 2020 11:03:00 +0200
Subject: [PATCH] [dome] Do not use var if unnecessary.
---
ivette/src/dome/src/renderer/text/buffers.ts | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/ivette/src/dome/src/renderer/text/buffers.ts b/ivette/src/dome/src/renderer/text/buffers.ts
index 0a48d9d6613..dec2ee208d6 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 = {
--
GitLab