# HG changeset patch
# User Oleksandr Gavenko <gavenkoa@gmail.com>
# Date 1433664581 -10800
# Node ID 79628df58b2df7a4c98e9f0b687d7bbebb5f5c5e
# Parent  ee2b194456b892321481d2d8ecfbf38edc07853f
devtool options.

diff -r ee2b194456b8 -r 79628df58b2d firefox-devel.rst
--- a/firefox-devel.rst	Fri May 29 23:05:59 2015 +0300
+++ b/firefox-devel.rst	Sun Jun 07 11:09:41 2015 +0300
@@ -101,6 +101,19 @@
   // Detect deprecated code use.
   user_pref("devtools.errorconsole.deprecation_warnings", true);
 
+Examine ``devtool`` options in ``about:config`` with prefix ``devtools.``::
+
+  user_pref("devtools.debugger.enabled", true);
+  user_pref("devtools.debugger.pause-on-exceptions", true);
+  user_pref("devtools.debugger.auto-pretty-print", true);
+
+  user_pref("devtools.debugger.chrome-debugging-host", "localhost");
+  user_pref("devtools.debugger.chrome-debugging-port", 6080);
+  user_pref("devtools.debugger.ignore-caught-exceptions", true);
+  user_pref("devtools.debugger.remote-enabled, true);
+  user_pref("devtools.debugger.remote-host", "localhost");
+  user_pref("devtools.debugger.remote-port", 6000);
+
 See:
 
   https://developer.mozilla.org/en/Setting_up_extension_development_environment