Rendered width (px) of a button / labeled checkbox, used to reserve trailing space when an input field is stretched to fill the row. Text after "##" is ignored, matching how ImGui renders the label.
Source from the content-addressed store, hash-verified