@suntong doesn't Ubuntu have a desktop menu/preferences tool to select themes? That should set both GTK2 and GTK3 themes and work better than hacking with Gnome tweak.

And to expand on @codebrainz comment, "invert syntax highlighting colors" applies to whatever colours are being used, whichever theme they come from.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.