Bump textual to latest (runtimeverification/pyk#480)

Anticipating for runtimeverification/pyk#460
This will allow us to use `VerticalScroll` widgets to scroll
programatically.

---------

Co-authored-by: François Guyot <[email protected]>
Co-authored-by: devops <[email protected]>
Co-authored-by: Everett Hildenbrandt <[email protected]>
Co-authored-by: rv-jenkins <[email protected]>
Co-authored-by: Sam Balco <[email protected]>

Author: 6 people

pyk/flake.nix

@@ -19,13 +19,32 @@
               # We remove `"dev"` from `checkGroups`, so that poetry2nix does not try to resolve dev dependencies.
               checkGroups = [ ];
               overrides = prev.poetry2nix.overrides.withDefaults
-                (finalPython: prevPython: {
-                  nanoid = prevPython.nanoid.overridePythonAttrs
-                    (oldAttrs: {
+                (finalPython: prevPython:
+                  let
+                    markdown-it-py-wo-mdit-py-plugins =
+                      prevPython.markdown-it-py.overridePythonAttrs (oldAttrs: {
+                        propagatedBuildInputs =
+                          builtins.filter (p: p.pname != "mdit-py-plugins")
+                          oldAttrs.propagatedBuildInputs;
+                        buildInputs = (oldAttrs.buildInputs or [ ])
+                          ++ [ finalPython.flit-core ];
+                      });
+                  in {
+                    nanoid = prevPython.nanoid.overridePythonAttrs (oldAttrs: {
                       buildInputs = (oldAttrs.buildInputs or [ ])
                         ++ [ prevPython.setuptools ];
                     });
-                });
+
+                    mdit-py-plugins =
+                      prevPython.mdit-py-plugins.overridePythonAttrs
+                      (oldAttrs: {
+                        propagatedBuildInputs =
+                          builtins.filter (p: p.pname != "markdown-it-py")
+                          oldAttrs.propagatedBuildInputs;
+                        buildInputs = (oldAttrs.buildInputs or [ ])
+                          ++ [ markdown-it-py-wo-mdit-py-plugins ];
+                      });
+                  });
             };
         in rec {
           pyk = pyk-python310;

pyk/package/version

@@ -1 +1 @@
-0.1.335
+0.1.336

pyk/poetry.lock

@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "pyk"
-version = "0.1.335"
+version = "0.1.336"
 description = ""
 authors = [
     "Runtime Verification, Inc. <[email protected]>",
@@ -18,7 +18,7 @@ filelock = "^3.9.0"
 graphviz = "^0.20.1"
 psutil = "^5.9.4"
 pybind11 = "^2.10.3"
-textual = "^0.10.1"
+textual = "^0.27.0"
 tomli = "^2.0.1"
 
 [tool.poetry.group.dev.dependencies]

pyk/pyproject.toml

@@ -20,7 +20,6 @@
 
     from textual.app import ComposeResult
     from textual.events import Click
-    from textual.message import MessageTarget
 
     from ..kast import KInner
     from ..ktool.kprint import KPrint
@@ -35,9 +34,9 @@ class GraphChunk(Static):
     class Selected(Message):
         chunk_id: str
 
-        def __init__(self, sender: MessageTarget, chunk_id: str) -> None:
+        def __init__(self, chunk_id: str) -> None:
             self.chunk_id = chunk_id
-            super().__init__(sender)
+            super().__init__()
 
     def __init__(self, id: str, node_text: Iterable[str] = ()) -> None:
         self._node_text = '\n'.join(node_text)
@@ -49,8 +48,8 @@ def on_enter(self) -> None:
     def on_leave(self) -> None:
         self.styles.border_left = None  # type: ignore
 
-    async def on_click(self, click: Click) -> None:
-        await self.emit(GraphChunk.Selected(self, self.id or ''))
+    def on_click(self, click: Click) -> None:
+        self.post_message(GraphChunk.Selected(self.id or ''))
         click.stop()
 
 
@@ -59,7 +58,7 @@ class BehaviorView(Widget):
     _kprint: KPrint
     _minimize: bool
     _node_printer: Callable[[CTerm], Iterable[str]] | None
-    _nodes: Iterable[GraphChunk]
+    _kcfg_nodes: Iterable[GraphChunk]
 
     def __init__(
         self,
@@ -74,13 +73,13 @@ def __init__(
         self._kprint = kprint
         self._minimize = minimize
         self._node_printer = node_printer
-        self._nodes = []
+        self._kcfg_nodes = []
         kcfg_show = KCFGShow(kprint)
         for lseg_id, node_lines in kcfg_show.pretty_segments(self._kcfg, minimize=self._minimize):
-            self._nodes.append(GraphChunk(lseg_id, node_lines))
+            self._kcfg_nodes.append(GraphChunk(lseg_id, node_lines))
 
     def compose(self) -> ComposeResult:
-        return self._nodes
+        return self._kcfg_nodes
 
 
 class NodeView(Widget):