equal
deleted
inserted
replaced
113 user_pref("devtools.debugger.ignore-caught-exceptions", true); |
113 user_pref("devtools.debugger.ignore-caught-exceptions", true); |
114 user_pref("devtools.debugger.remote-enabled, true); |
114 user_pref("devtools.debugger.remote-enabled, true); |
115 user_pref("devtools.debugger.remote-host", "localhost"); |
115 user_pref("devtools.debugger.remote-host", "localhost"); |
116 user_pref("devtools.debugger.remote-port", 6000); |
116 user_pref("devtools.debugger.remote-port", 6000); |
117 |
117 |
118 See: |
118 https://developer.mozilla.org/en/Setting_up_extension_development_environment |
119 |
119 Setting up profile, options and about developer plugin. |
120 https://developer.mozilla.org/en/Setting_up_extension_development_environment |
120 https://developer.mozilla.org/en-US/docs/Tools/Debugger |
121 setting up profile, options and about developer plugin |
121 JavaScript Debugger. |
122 |
122 |
123 Debugging JavaScript with Web Console. |
123 Debugging JavaScript with Web Console. |
124 -------------------------------------- |
124 -------------------------------------- |
125 |
125 |
126 Instead of "Error Console" (press Ctrl+Shift+J) use "Web Console" (press |
126 Instead of "Error Console" (press Ctrl+Shift+J) use "Web Console" (press |