Skip to content

Conversation

@AdrienZianne
Copy link
Contributor

@AdrienZianne AdrienZianne commented Oct 26, 2025

Implementation of the per-widget style of the action plan to add better styling option to egui

@github-actions
Copy link

github-actions bot commented Oct 26, 2025

Preview available at https://egui-pr-preview.github.io/pr/7667-widgetstyle
Note that it might take a couple seconds for the update to show up after the preview_build workflow has completed.

View snapshot changes at kitdiff

@AdrienZianne AdrienZianne marked this pull request as ready for review November 10, 2025 19:05
Copy link
Collaborator

@lucasmerlin lucasmerlin left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice! Seems like the checkbox is missing in menus for some reason (see the failed snapshot test: https://rerun-io.github.io/kitdiff/?url=https://github.com/emilk/egui/pull/7667)

@AdrienZianne
Copy link
Contributor Author

The check script result in 3 snapshot diff : 2 are the corner of drag value, but Kitdiff show no difference between old/new so I think it's due to linux and x11, and the last diff is in the fractal clock where a single pixel is a bit brighter but again I think it's linux and x11

Copy link
Collaborator

@lucasmerlin lucasmerlin left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Awesome, looks good to me now!

@lucasmerlin lucasmerlin added the feature New feature or request label Dec 10, 2025
@emilk emilk added the egui label Dec 16, 2025
@emilk emilk merged commit 9c3a0bb into emilk:main Dec 16, 2025
47 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

egui feature New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Better styling: per-widget styles

3 participants