[gtk] settings: Update docs

[Matthias Clasen <matthiasc src gnome org>]

commit 4f0ea69e9b266123671e6c2070e5c19ef7a0e3a6
Author: Matthias Clasen <mclasen redhat com>
Date:   Wed May 8 21:45:17 2019 +0000

    settings: Update docs
    
    We no longer create settings on demand.

 gtk/gtksettings.c | 13 +------------
 1 file changed, 1 insertion(+), 12 deletions(-)
---
diff --git a/gtk/gtksettings.c b/gtk/gtksettings.c
index 79282b1804..43d067a7af 100644
--- a/gtk/gtksettings.c
+++ b/gtk/gtksettings.c
@@ -87,18 +87,7 @@
  * Applications can override system-wide settings by setting the property
  * of the GtkSettings object with g_object_set(). This should be restricted
  * to special cases though; GtkSettings are not meant as an application
- * configuration facility. When doing so, you need to be aware that settings
- * that are specific to individual widgets may not be available before the
- * widget type has been realized at least once. The following example
- * demonstrates a way to do this:
- * |[<!-- language="C" -->
- *   gtk_init ();
- *
- *   // make sure the type is realized
- *   g_type_class_unref (g_type_class_ref (GTK_TYPE_BUTTON));
- *
- *   g_object_set (gtk_settings_get_default (), "gtk-enable-animations", FALSE, NULL);
- * ]|
+ * configuration facility.
  *
  * There is one GtkSettings instance per display. It can be obtained with
  * gtk_settings_get_for_display(), but in many cases, it is more convenient