adapted extender + improved bound anchors

2025-04-19 16:49:46 +02:00
parent 33d79f35fa
commit 4733f69b51
6 changed files with 61 additions and 96 deletions
--- a/src/elements/ports.typ
+++ b/src/elements/ports.typ
@@ -125,7 +125,7 @@
  elmt,
  bounds
 ) = {
-  let debug = elmt.debug.ports
+  let debug = elmt.debug.at("ports", default: false)

  if type(elmt.ports) != dictionary {
    return