gryf/pentadactyl-pm
1
0
Fork 0
mirror of https://github.com/gryf/pentadactyl-pm.git synced 2025-12-20 09:48:00 +01:00
Code Issues Projects Releases Wiki Activity

Add some missing options to index.xml help page.

Browse Source
This commit is contained in:
Doug Kearns
2010-10-01 23:55:13 +10:00
parent 84cd9c5cef
commit 7a09c698f7
3 changed files with 8 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
common/content/javascript.js
View File

@@ -654,7 +654,7 @@ const JavaScript = Module("javascript", {
},
options: function () {
options.add(["jsdebugger", "jsd"],
"Switch on/off jsdebugger",
"Use the JavaScript debugger service for JavaScript completion",
"boolean", false, {
setter: function (value) {
services.get("debugger")[value ? "on" : "off"]();