Rehighlight TextEditor when Theme changes#2818
Merged
hecrj merged 3 commits intoiced-rs:masterfrom Nov 21, 2025
Merged
Conversation
Contributor
|
A better solution to this could be checking whether the theme has changed in the |
Contributor
Author
|
I tried doing something like that, but adding PartialEq as a trait requirement to the Theme generic caused issues with the Widget trait, but I'll try again today. Maybe I just didn't read the error carefully. |
Contributor
Author
|
@edwloef I'm not sure what I did wrong last night, but it worked just fine this time around. Thanks for making me try again! |
Contributor
Author
|
This solves #2817 |
|
Would be awesome if this got merged - really helpful 👍 |
64d4a36 to
11c9154
Compare
11c9154 to
e0106e3
Compare
e0106e3 to
acebcd1
Compare
acebcd1 to
5453ec4
Compare
9515890 to
4dc1a8b
Compare
4dc1a8b to
e634a87
Compare
e634a87 to
eae40b6
Compare
eae40b6 to
29864c0
Compare
29864c0 to
49a5714
Compare
876ce3a to
168a2f0
Compare
168a2f0 to
0495f32
Compare
hecrj
approved these changes
Nov 21, 2025
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
It's far from perfect, but it's something. Maybe it's even acceptable.