Skip to content

chore : clean up casts of WfOptions#431

Open
AKArien wants to merge 1 commit into
WayfireWM:masterfrom
AKArien:casts-cleanup
Open

chore : clean up casts of WfOptions#431
AKArien wants to merge 1 commit into
WayfireWM:masterfrom
AKArien:casts-cleanup

Conversation

@AKArien
Copy link
Copy Markdown
Contributor

@AKArien AKArien commented May 15, 2026

As stated in chatrooms, the preffered way going forward is to let it be implicetely cast, and if impossible use .value() instead of explicitely casting

Maybe we should add a contributing section to the wiki that mentions it

@soreau
Copy link
Copy Markdown
Member

soreau commented May 15, 2026

As stated in chatrooms, the preffered way going forward is to let it be implicetely cast, and if impossible use .value() instead of explicitely casting

I do agree that this makes the code aesthetically cleaner, at least.

@AKArien AKArien force-pushed the casts-cleanup branch 2 times, most recently from bea754d to 90e4ed8 Compare May 15, 2026 23:36
The preffered way going forward is to let it be implicitely cast, and if
impossible use .value() instead of explicitely casting
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.

2 participants