Skip to content

chore(demo): record the export speed in the score, re-export the assets - #22

Merged
JheisonMB merged 1 commit into
developfrom
chore/demo-export-settings
Aug 27, 2026
Merged

chore(demo): record the export speed in the score, re-export the assets#22
JheisonMB merged 1 commit into
developfrom
chore/demo-export-settings

Conversation

@JheisonMB

Copy link
Copy Markdown
Collaborator

The speed a demo is published at existed nowhere but in whoever typed the command. Recovered today by measuring the published assets against the recordings — four demos at 2x, canopy at 3x — and written into the score before it could be lost.

[demo]
speed = "2x"
targets = ["gif", "mp4"]

demostage 0.3.0 reads both (UniverLab/demostage#13); --speed and a positional target still win. Older versions ignore the keys rather than failing — there is no deny_unknown_fields on the score.

The assets are re-exported from the same .rec at the recovered speed, so the pace is unchanged — verified by duration against the previously published files. What changed is what 0.3.0 fixes: glyphs the bundled font lacked now come from DejaVu instead of rendering blank, and a PDF pane pans continuously instead of jumping.

🤖 Generated with Claude Code

https://claude.ai/code/session_01JeZdT4Zae1BxeLEoKd6kEs

@JheisonMB
JheisonMB merged commit 418fffe into develop Aug 27, 2026
4 checks passed
@JheisonMB
JheisonMB deleted the chore/demo-export-settings branch August 27, 2026 18:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

1 participant