Split newlines from dune output

whonore · Jun 24, 2024 · 259aff9 · 259aff9
1 parent 03d49e7
commit 259aff9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/python/coqtail.py b/python/coqtail.py
@@ -706,7 +706,7 @@ def set_goal(
 
     def add_info_callback(self, msg: str) -> None:
         """Callback for appending to the info panel and refreshing it."""
-        self.set_info([msg], reset=False)
+        self.set_info(msg.split("\n"), reset=False)
         self.handler.refresh(goals=False, force=True, scroll=True)
 
     def set_info(