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 0682b5cf001f1cb1c0dbdd011bf7edbe57cef42d..79d7bcf3b7819e825de0c5b15ffbc6d1bcf309a8 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 +}