Skip to content

Use closures for widget styling#2326

Merged
hecrj merged 17 commits intomasterfrom
closure-styles
Mar 12, 2024
Merged

Use closures for widget styling#2326
hecrj merged 17 commits intomasterfrom
closure-styles

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
@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

Comments