Skip to content

Generic pixel units#1711

Merged
hecrj merged 9 commits into
masterfrom
feature/generic-pixel-units
Feb 17, 2023
Merged

Generic pixel units#1711
hecrj merged 9 commits into
masterfrom
feature/generic-pixel-units

Conversation

@hecrj

@hecrj hecrj commented Feb 17, 2023

Copy link
Copy Markdown
Member

Cherry-picked from #1697.

These changes allow users to use both floating point literals and unsigned integers for lengths, sizes, and paddings.

@hecrj hecrj added improvement An internal improvement feature New feature or request layout labels Feb 17, 2023
@hecrj hecrj added this to the 0.8.0 milestone Feb 17, 2023
@hecrj hecrj enabled auto-merge February 17, 2023 15:28
@hecrj hecrj merged commit 7dc1fb4 into master Feb 17, 2023
@hecrj hecrj deleted the feature/generic-pixel-units branch February 17, 2023 15:53
@IohannRabeson IohannRabeson mentioned this pull request Feb 18, 2023
2 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

feature New feature or request improvement An internal improvement layout

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant