Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-07-23 07:13:52 +01:00
Code Issues Projects Releases Packages Wiki Activity

add reload keyboard shortcut

Browse source 
rename the preference to shell.builtin-key-shortcuts.enabled
This commit is contained in:
mrmiywj 2016-06-23 17:32:33 +08:00
parent 053c2aee0a
commit 909f0da3c2
9 changed files with 57 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

2
python/servo/package_commands.py
View file

@ -90,7 +90,7 @@ class PackageCommands(CommandBase):
servo_args = ['-w', '-b',
'--pref', 'dom.mozbrowser.enabled',
'--pref', 'dom.forcetouch.enabled',
'--pref', 'shell.quit-on-escape.enabled=false',
'--pref', 'shell.builtin-key-shortcuts=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))

2
python/servo/post_build_commands.py
View file

@ -114,7 +114,7 @@ class PostBuildCommands(CommandBase):
args = args + ['-w',
'--pref', 'dom.mozbrowser.enabled',
'--pref', 'dom.forcetouch.enabled',
'--pref', 'shell.quit-on-escape.enabled=false',
'--pref', 'shell.builtin-key-shortcuts=false',
path.join(browserhtml_path, 'out', 'index.html')]
# Borrowed and modified from: