Skip to content

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

Merged
JheisonMB merged 3 commits into
developfrom
chore/demo-export-settings
Aug 27, 2026
Merged

chore(demo): record the export speed in the score, re-export the assets#26
JheisonMB merged 3 commits 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 c911d3d 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

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant