[gsettings-desktop-schemas] schemas: Add a 'xkb-options' key

[Bastien Nocera <hadess src gnome org>]

commit 5f9b03ea8b7718835586c76739fc9266f910bfd9
Author: Rui Matos <tiagomatos gmail com>
Date:   Thu Jun 28 17:38:41 2012 +0200

    schemas: Add a 'xkb-options' key
    
    To the "org.gnome.desktop.input-sources" schema
    
    https://bugzilla.gnome.org/show_bug.cgi?id=679074

 ...g.gnome.desktop.input-sources.gschema.xml.in.in |    8 ++++++++
 1 files changed, 8 insertions(+), 0 deletions(-)
---
diff --git a/schemas/org.gnome.desktop.input-sources.gschema.xml.in.in b/schemas/org.gnome.desktop.input-sources.gschema.xml.in.in
index 1c2bf92..e33d5e5 100644
--- a/schemas/org.gnome.desktop.input-sources.gschema.xml.in.in
+++ b/schemas/org.gnome.desktop.input-sources.gschema.xml.in.in
@@ -23,5 +23,13 @@
         engine name.
       </_description>
     </key>
+    <key name="xkb-options" type="as">
+      <default>[]</default>
+      <_summary>List of XKB options</_summary>
+      <_description>
+        List of XKB options. Each option is an XKB option string as
+        defined by xkeyboard-config's rules files.
+      </_description>
+    </key>
   </schema>
 </schemalist>