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

Use closures for widget styling #2326

Merged
merged 17 commits into from
Mar 12, 2024
Merged

Use closures for widget styling #2326

merged 17 commits into from
Mar 12, 2024

Conversation

hecrj
Copy link
Member

@hecrj hecrj commented Mar 12, 2024

This PR replaces the function pointers used for styling since #2312 with boxed closures. These closures can both capture and borrow application state.

We trade a bit of overhead for a lot of flexibility. No need to juggle themers everywhere!

@hecrj hecrj added improvement An internal improvement feature New feature or request widget styling addition labels Mar 12, 2024
@hecrj hecrj added this to the 0.13 milestone Mar 12, 2024
@hecrj hecrj merged commit 3d915d3 into master Mar 12, 2024
24 checks passed
@hecrj hecrj deleted the closure-styles branch March 12, 2024 17:17
@hecrj hecrj mentioned this pull request Mar 12, 2024
@soucosmo
Copy link

soucosmo commented Apr 9, 2024

Incredible, this is something very important, the styling of the components was something very complicated.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
addition feature New feature or request improvement An internal improvement styling widget
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants