Bug#869386: on man page say what ! means
On Sun, Jul 23, 2017 at 3:05 PM, D. B.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
Bug#869386: on man page say what ! means
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
Bug#869386: on man page say what ! means
Package: libgtk-3-bin Version: 3.22.16-1 Severity: wishlist File: /usr/share/man/man1/gtk-query-settings.1.gz $ gtk-query-settings theme gtk-theme-name: "HighContrast" gtk-icon-theme-name: "HighContrast" ! gtk-fallback-icon-theme: NULL gtk-key-theme-name: NULL gtk-cursor-theme-name: NULL gtk-cursor-theme-size: 0 gtk-sound-theme-name: "freedesktop" gtk-application-prefer-dark-theme: FALSE The man page should say what ! means. Also it should say if it is querying gtk 2 or 3 or both settings.