Despite dark theme being checked, application keeps using the light theme of the default Gnome desktop.