My current setup is a laptop with an NVIDIA Optimus graphics card running Ubuntu 14.10 with Cinnamon as my desktop environment.
I usually use the Intel card because of the reason I'm asking this question, but I'd like to be able to use the NVIDIA card more since it's necessary to use the HDMI port.
My problem is that, when I switch to the NVIDIA card and relog, a lot of things change with my (GTK?) theme. For example, my selection color changes from Orange to Black, my desktop icon text changes color, the theme (usually noticed in Nemo) changes, fonts seem different, etc. You can see this in these screenshots:
Using the Intel card:
Using the NVIDIA card:
Also, if I'm remembering right (I'll switch back to the Intel card and edit) when launching something like Nemo from the terminal, I get errors about no fallback CSS file, which don't appear when using the NVIDIA card. EDIT: Just checked, when launching Nemo with the Intel card, I get the following:
** (nemo:27857): WARNING **: Couldn't connect to accessibility bus: Failed to connect to socket /tmp/dbus-yGAxfyzEca: Connection refused ** (nemo:27857): WARNING **: Can't load fallback CSS resource: Failed to import: The resource at '/org/gnome/adwaita/gtk-fallback.css' does not exist ** (nemo:27857): WARNING **: Can't load fallback CSS resource: Failed to import: The resource at '/org/gnome/adwaita/gtk-fallback.css' does not exist
My best guess is that the GTK theme is getting changed somehow when switching cards, but I'm not sure why that's happening or how to prevent it.
Anyone have any ideas why the theme is changing, or how to figure this out?
EDIT: Yesterday it randomly used the same theme when I switched, and I have no idea why. But switching back to the Intel card and then switching to the NVIDIA card today this issue is still occurring.