gxalpha b4a2eacba7 UI: Don't set theme if it didn't change ...

If the user just reselects the theme they're already on, we shouldn't
set it again, as setting a theme always introduces issues (that are
especially visible on macOS and Linux).

2022-08-17 13:45:40 -07:00

168 KiB

Raw Blame History

View Raw