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
This commit is contained in:
Florian Müllner 2012-09-17 23:11:57 +02:00
parent e8f96a6e16
commit 3fdc8bfa3d
2 changed files with 10 additions and 0 deletions

View File

@ -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. This key overrides the key in org.gnome.mutter when running GNOME Shell.
</description> </description>
</key> </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> </schema>
</schemalist> </schemalist>

View File

@ -178,6 +178,8 @@ shell_prefs_init (void)
OVERRIDES_SCHEMA); OVERRIDES_SCHEMA);
meta_prefs_override_preference_schema ("edge-tiling", meta_prefs_override_preference_schema ("edge-tiling",
OVERRIDES_SCHEMA); OVERRIDES_SCHEMA);
meta_prefs_override_preference_schema ("focus-change-on-pointer-rest",
OVERRIDES_SCHEMA);
} }
static void static void