Re: Nim GTK3 editor

[Stefan Salewski <mail ssalewski de>]

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.