Fix preference name

paulrouget · paulrouget · commit 8836250d71fd · 2016-06-24T12:03:01.000+02:00
diff --git a/python/servo/package_commands.py b/python/servo/package_commands.py
@@ -90,7 +90,7 @@ def package(self, release=False, dev=False, android=None, debug=False, debugger=
             servo_args = ['-w', '-b',
                           '--pref', 'dom.mozbrowser.enabled',
                           '--pref', 'dom.forcetouch.enabled',
-                          '--pref', 'shell.builtin-key-shortcuts=false',
+                          '--pref', 'shell.builtin-key-shortcuts.enabled=false',
                           path.join(browserhtml_path, 'out', 'index.html')]
 
             runservo = os.open(dir_to_package + 'runservo.sh', os.O_WRONLY | os.O_CREAT, int("0755", 8))
diff --git a/python/servo/post_build_commands.py b/python/servo/post_build_commands.py
@@ -114,7 +114,7 @@ def run(self, params, release=False, dev=False, android=None, debug=False, debug
             args = args + ['-w',
                            '--pref', 'dom.mozbrowser.enabled',
                            '--pref', 'dom.forcetouch.enabled',
-                           '--pref', 'shell.builtin-key-shortcuts=false',
+                           '--pref', 'shell.builtin-key-shortcuts.enabled=false',
                            path.join(browserhtml_path, 'out', 'index.html')]
 
         # Borrowed and modified from:
