From 83f8a6074699317e019c95effde4e6741d2aa999 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mart=C3=ADn?= <mmendez5163@gmail.com>
Date: Fri, 3 Nov 2017 21:41:50 -0300
Subject: [PATCH] Merge cambios en Ghci.service.ts
---
.../src/app/shared/services/ghci.service.ts | 8 +++++---
1 file changed, 5 insertions(+), 3 deletions(-)
diff --git a/Frontend Angular 4/src/app/shared/services/ghci.service.ts b/Frontend Angular 4/src/app/shared/services/ghci.service.ts
index 0682b5cf..79d7bcf3 100644
--- a/Frontend Angular 4/src/app/shared/services/ghci.service.ts
+++ b/Frontend Angular 4/src/app/shared/services/ghci.service.ts
@@ -130,7 +130,7 @@ export class GHCIService {
setTimeout(this.checkConsole.bind(this),100);
}
}
-hayError(text){
+ hayError(text){
var line = -1;
if(this.waitingForError){
var line = this.lastError;
@@ -164,12 +164,14 @@ hayError(text){
}
}
+
resetGutters(){
if(this.codemirrorRef!==null){
this.codemirrorRef.clearGutter("breakpoints");
}
}
- hayWarnings(text){
+
+ hayWarnings(text){
var line = -1;
var m = JSON.parse(text);
@@ -490,4 +492,4 @@ hayError(text){
-}
\ No newline at end of file
+}
--
GitLab