Mention key themes in the migration guide

diff --git a/docs/reference/gtk/migrating-GtkStyleContext.xml b/docs/reference/gtk/migrating-GtkStyleContext.xml
index e228a00e450de6e54c6fb1aa262a9483bd650ce4..b2e73edc41ecc938a173aff497f8a9f9466f1846 100644 (file)
--- a/docs/reference/gtk/migrating-GtkStyleContext.xml
+++ b/docs/reference/gtk/migrating-GtkStyleContext.xml
@@ -29,11 +29,19 @@
     </para>
 
     <para>
-      If your theme gtkrc file was providing values for #GtkSettings, you
+      If your theme RC file was providing values for #GtkSettings, you
       can install a <filename>settings.ini</filename> keyfile along with
       the <filename>gtk.css</filename> to provide theme-specific defaults
       for settings.
     </para>
+
+    <para>
+      Key themes have been converted to CSS syntax too. See the
+      <link linkend="css-binding-set">GtkCssProvider</link> documentation
+      information about the syntax. GTK+ looks for key themes in the file
+      <filename>$datadir/themes/<replaceable>theme</replaceable>/gtk-3.0/gtk-keys.css</filename>, where <replaceable>theme</replaceable> is the current
+      key theme name.
+    </para>
   </section>
 
   <section id="gtk-migrating-theme-GtkStyleContext-engines">