diff options
Diffstat (limited to 'ide/wg_MessageView.ml')
-rw-r--r-- | ide/wg_MessageView.ml | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/ide/wg_MessageView.ml b/ide/wg_MessageView.ml index 13c3d4cdb..f58cdc647 100644 --- a/ide/wg_MessageView.ml +++ b/ide/wg_MessageView.ml @@ -47,8 +47,10 @@ let message_view () : message_view = | Interface.Warning -> [Tags.Message.warning] | _ -> [] in - buffer#insert ~tags msg; - buffer#insert ~tags "\n" + if msg <> "" then begin + buffer#insert ~tags msg; + buffer#insert ~tags "\n" + end method add msg = self#push Interface.Notice msg |