Skip to content

egui & ws: theme fixes#4238

Merged
Parth merged 5 commits intomasterfrom
theme-tweaks
Feb 21, 2026
Merged

egui & ws: theme fixes#4238
Parth merged 5 commits intomasterfrom
theme-tweaks

Conversation

@Parth
Copy link
Copy Markdown
Member

@Parth Parth commented Feb 21, 2026

No description provided.

@Parth Parth marked this pull request as ready for review February 21, 2026 01:53
@Parth Parth merged commit 578a8cc into master Feb 21, 2026
1 check passed
@Parth Parth deleted the theme-tweaks branch February 21, 2026 01:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant