Skip to content

Add missing HTML elements, attributes, custom element/attribute support, and docs#15

Merged
andymeierdev merged 1 commit intomainfrom
add-missing-html-elements-attributes
Feb 9, 2026
Merged

Add missing HTML elements, attributes, custom element/attribute support, and docs#15
andymeierdev merged 1 commit intomainfrom
add-missing-html-elements-attributes

Conversation

@andymeierdev
Copy link
Copy Markdown
Collaborator

Summary

  • Missing HTML elements: ruby, rt, rp, bdi, bdo, optgroup, menu, portal, style, base
  • Event handler attributes (46): onclick, onchange, onsubmit, oninput, onfocus, onblur, onkeydown, onkeyup, onkeypress, onmousedown/up/over/out/move/enter/leave, ondblclick, oncontextmenu, onscroll, onresize, onwheel, oncopy/cut/paste, ondrag/dragstart/dragend/dragover/dragenter/dragleave/drop, ontouchstart/move/end, onanimationstart/end/iteration, ontransitionend, onbeforeinput, onplay/pause/ended, onerror, onabort, ontoggle, onselect, onreset, oninvalid — all with [<LanguageInjection("javascript")>] for IDE support
  • Missing attributes: integrity, nonce, decoding, fetchpriority, usemap, ismap, coords, shape, kind, srclang, label, default, popover(string), popovertarget, popovertargetaction, inert, is, slot, part, high, low, optimum, dirname
  • Microdata: itemscope, itemtype, itemprop, itemid, itemref
  • ARIA (15 new): aria-disabled, aria-selected, aria-checked, aria-required, aria-invalid, aria-haspopup, aria-pressed, aria-valuenow/min/max/text, aria-atomic, aria-busy, aria-placeholder, aria-roledescription
  • Html._attr: custom attributes (key-value and boolean) for anything not covered by built-in helpers
  • Html.el / Html.elVoid: custom element builders for web components
  • Reorganized all attributes into logical groups (global, document/meta, link/resource, image/media, form, table, details/dialog, list, meter, iframe, microdata, ARIA, event handlers)
  • New docs page at /custom covering custom elements, attributes, and extending the Html type

…rt, and docs

- Add missing HTML elements: ruby, rt, rp, bdi, bdo, optgroup, menu, portal, style, base
- Add event handler attributes: onclick, onchange, onsubmit, oninput, onfocus, onblur, onkeydown, onkeyup, and 38 more
- Add missing attributes: integrity, nonce, decoding, fetchpriority, popover, popovertarget, inert, and more
- Add missing ARIA attributes: aria-disabled, aria-selected, aria-checked, and 12 more
- Add Html._attr for custom attributes (key-value and boolean)
- Add Html.el and Html.elVoid for custom/web component elements
- Reorganize attributes into logical groups
- Add custom elements & attributes documentation page
@github-actions
Copy link
Copy Markdown

github-actions bot commented Feb 9, 2026

🍹 preview on fsharp-view-engine/prod

Pulumi report

View in Pulumi Cloud

  Previewing update (prod)

View Live: https://app.pulumi.com/meiermade/fsharp-view-engine/prod/previews/ae891856-12de-434f-971c-287a5159733a

pulumi:pulumi:Stack: (same)
  [urn=urn:pulumi:prod::fsharp-view-engine::pulumi:pulumi:Stack::fsharp-view-engine-prod]
  ~ docker-build:index:Image: (update)
      [id=sha256:65cea560cd1495776a0d5c3fe95a43dd43e45b4aa3f7dd5a5903d3894c076c50]
      [urn=urn:pulumi:prod::fsharp-view-engine::docker-build:index:Image::fsharp-view-engine]
    - contextHash: "d221942347a97430c78da0d9893a4d0d2b6381f5f720add6e6a3f5fe2e678a71"
  ~ kubernetes:apps/v1:Deployment: (update)
      [id=fsharp-view-engine/fsharp-view-engine]
      [urn=urn:pulumi:prod::fsharp-view-engine::kubernetes:apps/v1:Deployment::fsharp-view-engine]
    ~ spec: {
        ~ template: {
            ~ spec: {
                ~ containers: [
                    ~ [0]: {
                            ~ image: "941377122014.dkr.ecr.us-east-1.amazonaws.com/fsharp-view-engine:latest@sha256:493f656e595a684fbfdb4ccf03d11eff74a862d8d88592812ee1a0ef674d3f64" => [unknown]
                          }
                  ]
              }
          }
      }
Resources:
  ~ 2 to update
  6 unchanged
  

@andymeierdev andymeierdev merged commit b17b126 into main Feb 9, 2026
2 checks passed
@andymeierdev andymeierdev deleted the add-missing-html-elements-attributes branch February 9, 2026 11:28
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