On Sun, Jul 23, 2017 at 3:05 PM, D. B. <db0...@gmail.com> wrote:
> so file a bug upstream with a patch. I don't see why this should be > debian's problem. Fyi, the docs seem to come from here: > https://git.gnome.org/browse/gtk+/tree/docs/reference/gtk/ > gtk-query-settings.xml?h=gtk-3-22 > > Also, looking at the C source shows that the exclamation mark means deprecated: https://git.gnome.org/browse/gtk+/tree/gtk/gtk-query-settings.c?h=gtk-3-22#n77
