99 // The Browser Debugger can be used to debug the JavaScript code of extensions. |
99 // The Browser Debugger can be used to debug the JavaScript code of extensions. |
100 user_pref("devtools.debugger.remote-enabled", true); |
100 user_pref("devtools.debugger.remote-enabled", true); |
101 // Detect deprecated code use. |
101 // Detect deprecated code use. |
102 user_pref("devtools.errorconsole.deprecation_warnings", true); |
102 user_pref("devtools.errorconsole.deprecation_warnings", true); |
103 |
103 |
|
104 Examine ``devtool`` options in ``about:config`` with prefix ``devtools.``:: |
|
105 |
|
106 user_pref("devtools.debugger.enabled", true); |
|
107 user_pref("devtools.debugger.pause-on-exceptions", true); |
|
108 user_pref("devtools.debugger.auto-pretty-print", true); |
|
109 |
|
110 user_pref("devtools.debugger.chrome-debugging-host", "localhost"); |
|
111 user_pref("devtools.debugger.chrome-debugging-port", 6080); |
|
112 user_pref("devtools.debugger.ignore-caught-exceptions", true); |
|
113 user_pref("devtools.debugger.remote-enabled, true); |
|
114 user_pref("devtools.debugger.remote-host", "localhost"); |
|
115 user_pref("devtools.debugger.remote-port", 6000); |
|
116 |
104 See: |
117 See: |
105 |
118 |
106 https://developer.mozilla.org/en/Setting_up_extension_development_environment |
119 https://developer.mozilla.org/en/Setting_up_extension_development_environment |
107 setting up profile, options and about developer plugin |
120 setting up profile, options and about developer plugin |
108 |
121 |