07-06-2025, 12:02 PM
Ah, sorry - I didn't mean the literal theme.css but just the CSS used for themes! Glad you figured it out though.
You can see the CSS for the tooltip coloring here: https://gitlab.gnome.org/GNOME/gimp/-/bl...s#L642-665
You can change it as desired. As for pop-up timing, it looks like there was a setting called "gtk-tooltip-timeout", but unfortunately it was removed in GTK3 3.10.
You can see the CSS for the tooltip coloring here: https://gitlab.gnome.org/GNOME/gimp/-/bl...s#L642-665
You can change it as desired. As for pop-up timing, it looks like there was a setting called "gtk-tooltip-timeout", but unfortunately it was removed in GTK3 3.10.