From 1668ef6bb4aba35258488a9fa9984e00952d90e8 Mon Sep 17 00:00:00 2001
From: Duarte-Frazao <duartemarquesmano@gmail.com>
Date: Fri, 30 Nov 2018 18:32:14 +0000
Subject: [PATCH] Small changes

---
 browser/components/CodeEditor.js | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

diff --git a/browser/components/CodeEditor.js b/browser/components/CodeEditor.js
index 2ceca341..adcb6bf0 100644
--- a/browser/components/CodeEditor.js
+++ b/browser/components/CodeEditor.js
@@ -518,11 +518,12 @@ export default class CodeEditor extends React.Component {
   }
 
   handleHighlight (editor, changeObject) {
-    if(!editor.options.linesHighlighted.includes(changeObject)){
-      editor.options.linesHighlighted.push(changeObject)
+    let lines =editor.options.linesHighlighted 
+    if(!lines.includes(changeObject)){
+      lines.push(changeObject)
       editor.addLineClass(changeObject,'text',"CodeMirror-activeline-background")
     }else{
-      editor.options.linesHighlighted.splice(editor.options.linesHighlighted.indexOf(changeObject),1)
+      lines.splice(lines.indexOf(changeObject),1)
       editor.removeLineClass(changeObject,'text',"CodeMirror-activeline-background")
     }
     if (this.props.onChange) {
@@ -567,7 +568,7 @@ export default class CodeEditor extends React.Component {
 
   restartHighlighting(){
     this.editor.options.linesHighlighted = this.props.linesHighlighted
-    this.initialHighlighting();
+    this.initialHighlighting()
   }
 
   handleDropImage (dropEvent) {
@@ -708,7 +709,7 @@ export default class CodeEditor extends React.Component {
   }
 
   initialHighlighting(){
-    var count = this.editor.lineCount(), i;
+    var count = this.editor.lineCount(), i
     for (i = 0; i < count; i++) {
       if(this.editor.options.linesHighlighted.includes(i)){
         this.editor.addLineClass(i,'text',"CodeMirror-activeline-background")