joewalker/devtools-window — pull request #322 by MikeRatcliffe (2012-12-06 16:13:55+00:00)
Title: 795988 dev toolbar leak

Based on bug:
https://bugzilla.mozilla.org/show_bug.cgi?id=795988

This patch fixes the case where a single browser window is opened and closed with the developer toolbar open. I have created a [new bug](https://bugzilla.mozilla.org/show_bug.cgi?id=818910) for separating command line instances so that they can be destroyed individually.