new runner layout, still todo

2026-07-20 22:03:43 +02:00
parent 38e3d7aae9
commit dc770a0886
7 changed files with 159 additions and 18 deletions
--- a/BEdit/untitled.bedit.json
+++ b/BEdit/untitled.bedit.json
@@ -56,7 +56,7 @@
        "showName": false
      },
      "library": {
-        "showSubtree": true
+        "showSubtree": false
      },
      "implementation": {
        "kind": "graph",