<div dir="ltr">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:<br><a href="https://git.gnome.org/browse/gtk+/tree/docs/reference/gtk/gtk-query-settings.xml?h=gtk-3-22">https://git.gnome.org/browse/gtk+/tree/docs/reference/gtk/gtk-query-settings.xml?h=gtk-3-22</a><br><br></div>