Disable traces of experimental MIDI UI.

2025-07-20 11:52:26 -04:00
parent 43e067fb6f
commit 8bee485c9f
7 changed files with 28 additions and 16 deletions
@@ -607,7 +607,7 @@ namespace pipedal
            if (!obj) {
                write_raw("null");
            } else {
-                write(obj.get());
+                write(obj.value());
            }
        }