Changing the theme does not update text fields in help window

[jusnim]

If the help window is open and the theme in settings is changed at the same time, some textfields are not updated

Before:


Change:


After:


If the window is (horizontally) resized or reopened, it is updated correctly.

Platform:
arch linux x86 with GNOME 47

[Justin113D]

I have noticed this too, and this must be a bug in Avalonia (the UI framework i am using), which i have yet to report on their end