equal
deleted
inserted
replaced
93 // This enables to run JavaScript code snippets in the chrome context of the Scratchpad from the Tools menu. |
93 // This enables to run JavaScript code snippets in the chrome context of the Scratchpad from the Tools menu. |
94 user_pref("devtools.chrome.enabled", true); |
94 user_pref("devtools.chrome.enabled", true); |
95 // This will send more detailed information about installation and update problems to the Error Console. |
95 // This will send more detailed information about installation and update problems to the Error Console. |
96 user_pref("extensions.logging.enabled", true); |
96 user_pref("extensions.logging.enabled", true); |
97 user_pref("dom.report_all_js_exceptions", true); |
97 user_pref("dom.report_all_js_exceptions", true); |
|
98 // This adds a "Browser Debugger" entry to the "Web Developer" submenu of the "Tools" menu. |
|
99 // The Browser Debugger can be used to debug the JavaScript code of extensions. |
|
100 user_pref("devtools.debugger.remote-enabled", true); |
|
101 // Detect deprecated code use. |
|
102 user_pref("devtools.errorconsole.deprecation_warnings", true); |
98 |
103 |
99 See: |
104 See: |
100 |
105 |
101 https://developer.mozilla.org/en/Setting_up_extension_development_environment |
106 https://developer.mozilla.org/en/Setting_up_extension_development_environment |
102 setting up profile, options and about developer plugin |
107 setting up profile, options and about developer plugin |