From 140b94f471988992f404031403939ad0cb7ff471 Mon Sep 17 00:00:00 2001
From: Dominique Marcadet <Dominique.Marcadet@centralesupelec.fr>
Date: Wed, 13 Feb 2019 10:27:43 +0100
Subject: [PATCH] do not expect default level of console to be right
---
.../fr/centralesupelec/edf/riseclipse/ui/RiseClipseEditor.java | 1 +
1 file changed, 1 insertion(+)
diff --git a/fr.centralesupelec.edf.riseclipse.editor/src/fr/centralesupelec/edf/riseclipse/ui/RiseClipseEditor.java b/fr.centralesupelec.edf.riseclipse.editor/src/fr/centralesupelec/edf/riseclipse/ui/RiseClipseEditor.java
index 7182ac7..0d37fb2 100644
--- a/fr.centralesupelec.edf.riseclipse.editor/src/fr/centralesupelec/edf/riseclipse/ui/RiseClipseEditor.java
+++ b/fr.centralesupelec.edf.riseclipse.editor/src/fr/centralesupelec/edf/riseclipse/ui/RiseClipseEditor.java
@@ -652,6 +652,7 @@ public class RiseClipseEditor extends MultiPageEditorPart implements IEditingDom
super();
this.console = new EclipseRiseClipseConsole();
+ console.setLevel( IRiseClipseConsole.INFO_LEVEL );
initializeEditingDomain();
}
--
GitLab