Fix preference name

servo · Jun 24, 2016 · 8836250 · 8836250
1 parent 851194b
commit 8836250
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
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: