Re: Gtk3 Spinner does not spin

[Juergen Harms <juergen harms unige ch>]

> This should be Gtk3::Settings::get_default(), with
> ...
> same as above, this should be: Gtk3::Settings::get_for_screen()

I had got those right
But, trying again, the problem has gone away - fixed by the upgrade (or 
I had become excited and did a stupid mistake).

Anyhow, there is no problem to be watched and things work smoothly.

Sorry if this was a false alarm, Juergen