[gnome-shell] main: Override focus-change-on-pointer-rest preference

[Florian MÃllner <fmuellner src gnome org>]

commit 3fdc8bfa3db8fd8bd32dff3e2ee4cad3427d6a74
Author: Florian MÃllner <fmuellner gnome org>
Date:   Mon Sep 17 23:11:57 2012 +0200

    main: Override focus-change-on-pointer-rest preference
    
    The application menu is currently unusable with non-maximized
    windows when using focus-follows-mouse mode. Override mutter's
    focus-change-on-pointer-rest preference, so that the actual
    focus change is delayed until the pointer stops moving.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=678169

 data/org.gnome.shell.gschema.xml.in.in |    8 ++++++++
 src/main.c                             |    2 ++
 2 files changed, 10 insertions(+), 0 deletions(-)
---
diff --git a/data/org.gnome.shell.gschema.xml.in.in b/data/org.gnome.shell.gschema.xml.in.in
index 18eac2c..824d1b7 100644
--- a/data/org.gnome.shell.gschema.xml.in.in
+++ b/data/org.gnome.shell.gschema.xml.in.in
@@ -190,5 +190,13 @@ value here is from the GsmPresenceStatus enumeration.</_summary>
         This key overrides the key in org.gnome.mutter when running GNOME Shell.
       </description>
     </key>
+
+    <key name="focus-change-on-pointer-rest" type="b">
+      <default>true</default>
+      <summary>Delay focus changes in mouse mode until the pointer stops moving</summary>
+      <description>
+        This key overrides the key in org.gnome.mutter when running GNOME Shell.
+      </description>
+    </key>
   </schema>
 </schemalist>
diff --git a/src/main.c b/src/main.c
index 451025d..001a91a 100644
--- a/src/main.c
+++ b/src/main.c
@@ -178,6 +178,8 @@ shell_prefs_init (void)
                                          OVERRIDES_SCHEMA);
   meta_prefs_override_preference_schema ("edge-tiling",
                                          OVERRIDES_SCHEMA);
+  meta_prefs_override_preference_schema ("focus-change-on-pointer-rest",
+                                         OVERRIDES_SCHEMA);
 }
 
 static void