On Sun, 2016-07-10 at 20:20 +0200, Stefan Salewski wrote: > output after "rm /home/stefan/.config/dconf/user" as long as user has > not selected a custom style scheme is > > gtksource.getStyle(style, "text") == nil > > so the problem is > > https://developer.gnome.org/gtksourceview/stable/GtkSourceStyleScheme.html#gtk-source-style-scheme-get-style >
And finally, that behavour persists after computer restart. So gtk- source-style-scheme-get-style() behaves differently for default color scheme or user selected color scheme. I have the feeling that for default color scheme I have no chance to get text color, and so I can not adjust related colors, like tooltip colors. I guess and hope that that is no problem -- for default color scheme tooltip colors should be fine per default. _______________________________________________ gnome-devtools mailing list [email protected] https://mail.gnome.org/mailman/listinfo/gnome-devtools
