Merge remote-tracking branch 'origin/develop'

Author: rv-auditor

pyk/src/pyk/kcfg/tui.py

@@ -79,7 +79,7 @@ def update(self, text: str) -> None:
         self.text = text
 
     def compose(self) -> ComposeResult:
-        yield Static(self.text)
+        yield Static(self.text, markup=False)
 
     def watch_text(self) -> None:
         self.query_one(Static).update(self.text)
@@ -95,7 +95,7 @@ def update(self, text: str) -> None:
         self.text = text
 
     def compose(self) -> ComposeResult:
-        yield Static(self.text)
+        yield Static(self.text, markup=False)
 
     def watch_text(self) -> None:
         self.query_one(Static).update(self.text)