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

Simplify attribute specification for HTML tags #76

Merged
merged 1 commit into from
Jan 28, 2025

Conversation

propensive
Copy link
Owner

When we specify an HTML tag like P(id = id"detail"), it was previously necessary to specify both the attribute value (id"detail") and its name (id = ). But if the attribute name can be inferred from its type (because it's the only attribute of that type), we can now omit the name.

So it becomes possible to write P(id"detail").

@propensive propensive self-assigned this Jan 28, 2025
@propensive propensive force-pushed the honeycomb-simplification branch from 95e2ef0 to 535b248 Compare January 28, 2025 10:59
@propensive propensive merged commit 996b72a into main Jan 28, 2025
1 check passed
@propensive propensive deleted the honeycomb-simplification branch January 28, 2025 11:05
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