Caching the view content for better performance

package/version

@@ -1 +1 @@
-0.1.330
+0.1.331

pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "pyk"
-version = "0.1.330"
+version = "0.1.331"
 description = ""
 authors = [
     "Runtime Verification, Inc. <contact@runtimeverification.com>",
@@ -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]

src/pyk/cterm.py

@@ -183,7 +183,7 @@ def remove_useless_constraints(cterm: CTerm, keep_vars: Iterable[str] = ()) -> C
         for c in cterm.constraints:
             if c not in new_constraints:
                 new_vars = free_vars(c)
-                if any([v in used_vars for v in new_vars]):
+                if any(v in used_vars for v in new_vars):
                     new_constraints.append(c)
                     used_vars.extend(new_vars)
         used_vars = list(set(used_vars))

src/pyk/kcfg/style.css

@@ -6,7 +6,6 @@
 }
 #behavior {
     height: 1fr;
-    border: solid;
     overflow-x: auto;
     overflow-y: auto;
 }
@@ -25,22 +24,19 @@
 }
 #info-view {
     height: 2fr;
-    border: solid;
+    border: solid dimgrey;
     overflow: auto scroll;
 }
 #term-view {
     height: 15fr;
-    border: solid;
     overflow: auto scroll;
 }
 #constraint-view {
     height: 5fr;
-    border: solid;
     overflow: auto scroll;
 }
 #custom-view {
     height: 15fr;
-    border: solid;
     overflow: auto scroll;
 }
 #info {
@@ -59,3 +55,9 @@
     width: auto;
     height: auto;
 }
+.selected {
+    border: solid white;
+}
+.deselected {
+    border: solid dimgrey;
+}