+ ‘Gtk.Settings-color-hash.html’
+ ‘Gtk.Settings-gtk-alternative-button-order.html’
+ ‘Gtk.Settings-gtk-alternative-sort-arrows.html’
+ ‘Gtk.Settings-gtk-application-prefer-dark-theme.html’
+ ‘Gtk.Settings-gtk-auto-mnemonics.html’
+ ‘Gtk.Settings-gtk-button-images.html’
+ ‘Gtk.Settings-gtk-can-change-accels.html’
+ ‘Gtk.Settings-gtk-color-palette.html’
+ ‘Gtk.Settings-gtk-color-scheme.html’
+ ‘Gtk.Settings-gtk-cursor-blink-time.html’
...