improved error message

2025-04-19 17:21:24 +02:00
parent cd8784fcee
commit 0a108fdc73
3 changed files with 12 additions and 11 deletions
--- a/src/elements/ports.typ
+++ b/src/elements/ports.typ
@@ -9,7 +9,9 @@
      }
    }
  }
-  panic("Unknown port " + port + " on element " + elmt.id)
+  panic(
+    "Unknown port '" + port + "' on element '" + elmt.id + "', could not automatically determine side"
+  )
 }

 #let get-port-idx(elmt, port, side: auto) = {