From 807872a3f4e70a8536befb6ed87fee124496deee Mon Sep 17 00:00:00 2001
From: Beleg Cuthalion <melkorbane@gmail.com>
Date: Thu, 30 May 2019 02:06:18 +0430
Subject: [PATCH] Fix #138 and #157

as proposed in https://github.com/siegebell/vscoq/issues/157#issuecomment-422865605 by @Carotti
---
 client/src/CoqDocument.ts | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/client/src/CoqDocument.ts b/client/src/CoqDocument.ts
index de0a182..03d266f 100644
--- a/client/src/CoqDocument.ts
+++ b/client/src/CoqDocument.ts
@@ -176,9 +176,9 @@ export class CoqDocument implements vscode.Disposable {
       this.project.infoOut.appendLine(psm.prettyTextToString(params.message));
       return;
     case 'notice':
-      this.project.noticeOut.clear();
       this.project.noticeOut.show(true);
       this.project.noticeOut.append(psm.prettyTextToString(params.message));
+      this.project.noticeOut.append("\n");
       return;
       // vscode.window.showInformationMessage(params.message); return;
     // case 'error':
@@ -550,4 +550,4 @@ export class CoqDocument implements vscode.Disposable {
    return this.focus;
  }
   
-}
\ No newline at end of file
+}