[Greasemonkey] Error: this.menuCommanders has no properties

[Taral]

On 12/3/05, Andre <gm at andrecgn.de> wrote:
> with FF 1.5 and GM 0.6.4 I get the following error in the javascript
> console:
>
> Error: this.menuCommanders has no properties
> Source File: chrome://greasemonkey/content/browser.js
> Line: 234

I remember getting this when I closed the last browser window with the
JS console open... it's a sequencing bug that I don't think anyone
cares to fix, since it only occurs during teardown.

--
Taral <taralx at gmail.com>
"Computer science is no more about computers than astronomy is about
telescopes."
    -- Edsger Dijkstra