# HG changeset patch
# User Oleksandr Gavenko <gavenkoa@gmail.com>
# Date 1351514038 -7200
# Node ID c761842c6d901ea2ac4a61973d95bd4146b90b6b
# Parent  20910c04cbd7689f42950d9c1a3f72673f23e471
Debugging JavaScript with Web Console.

diff -r 20910c04cbd7 -r c761842c6d90 firefox-devel.rst
--- a/firefox-devel.rst	Mon Oct 22 16:38:00 2012 +0300
+++ b/firefox-devel.rst	Mon Oct 29 14:33:58 2012 +0200
@@ -92,7 +92,9 @@
 
 Debugging JavaScript with Web Console.
 --------------------------------------
-::
+
+Instead of "Error Console" (press Ctrl+Shift+J) use "Web Console" (press
+Ctrl+Shift+K) in Firefox >=4.0::
 
   'console.log()', 'console.info()', 'console.warn()', 'console.error()'.