diff options
author | networkException <git@nwex.de> | 2022-06-16 20:28:39 +0200 |
---|---|---|
committer | Linus Groh <mail@linusgroh.de> | 2022-06-17 19:46:30 +0100 |
commit | ef7fbbcf70ff1ebd6bb839fd287a564418b57746 (patch) | |
tree | e3911cad675cbc1d7511127c37fa88212666783e | |
parent | 976b6156d466671016d5c3b70dcc0f54adbae983 (diff) | |
download | serenity-ef7fbbcf70ff1ebd6bb839fd287a564418b57746.zip |
Taskbar: Handle an override theme being active
This patch makes taskbar react to an override theme being set by not
having any theme in the menu selected.
-rw-r--r-- | Userland/Services/Taskbar/main.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Userland/Services/Taskbar/main.cpp b/Userland/Services/Taskbar/main.cpp index 2fcc93ade0..7988c8f2ea 100644 --- a/Userland/Services/Taskbar/main.cpp +++ b/Userland/Services/Taskbar/main.cpp @@ -247,9 +247,10 @@ ErrorOr<NonnullRefPtr<GUI::Menu>> build_system_menu(WindowRefence& window_ref) if (g_themes_menu->is_visible()) return; auto current_theme_name = GUI::ConnectionToWindowServer::the().get_system_theme(); + auto theme_overridden = GUI::ConnectionToWindowServer::the().is_system_theme_overridden(); for (size_t index = 0; index < g_themes.size(); ++index) { auto* action = g_themes_menu->action_at(index); - action->set_checked(action->text() == current_theme_name); + action->set_checked(!theme_overridden && action->text() == current_theme_name); } }; |