Firebugのパッチ

だいぶ前からFirebugのコンソールをenabledにしてても"Firebug cannot find _firebugConsole element"というエラーが出てリロードしないと動かなかったりしたので、応急処置をした。

Index: console.js
===================================================================
--- console.js	(revision 2033)
+++ console.js	(working copy)
@@ -109,7 +109,7 @@
     {
     },
 
-    getFirebugConsoleElement: function(context, win)
+    getFirebugConsoleElement: function(context, win, count)
     {
         var element = win.document.getElementById("_firebugConsole");
         if (!element)
@@ -129,6 +129,11 @@
             var element = win.document.getElementById("_firebugConsole");
             if (!element) // elementForce fails
             {
+                win.location.href = "javascript:void loadFirebugConsole();";
+                count = count || 0;
+                if (count < 5)
+                    return arguments.callee.apply(this, arguments, count+1);
+
                 if (FBTrace.DBG_ERRORS) FBTrace.sysout("console.getFirebugConsoleElement: no _firebugConsole in win:", win);
                 Firebug.Console.logFormatted(["Firebug cannot find _firebugConsole element", r, win], context, "error", true);
             }