Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Move resource embedding into HTML writer [API change] #9982

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

tarleb
Copy link
Collaborator

@tarleb tarleb commented Jul 13, 2024

No description provided.

@tarleb tarleb force-pushed the embed-writer-option branch 2 times, most recently from 7a4f709 to 2edf83e Compare July 14, 2024 14:51
@tarleb tarleb changed the title [WIP] Move resource embedding into HTML writer Move resource embedding into HTML writer [API change] Jul 14, 2024
@tarleb tarleb marked this pull request as ready for review July 14, 2024 14:51
This adds a new field `writerEmbedResources` to the `WriterOptions`
type. It is set to `False` by default.

The field is named `embed_resources` in Lua.
@tarleb tarleb force-pushed the embed-writer-option branch from 2edf83e to 4fffcca Compare July 14, 2024 15:33
@jgm
Copy link
Owner

jgm commented Jul 15, 2024

I think this makes good sense, but I want to mull it over. Can you think of any arguments against doing this?

@tarleb
Copy link
Collaborator Author

tarleb commented Jul 15, 2024

No, nothing comes to mind right now.

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.

2 participants