Bug 875717 - TypeError: window.fontInspector is undefined in chrome://browser/content/devtools/fontinspector/font-inspector.js:228 r=harthur

This commit is contained in:
Michael Ratcliffe 2013-05-24 12:06:00 +01:00
parent f06ae00c38
commit 3a9ba1582a

View File

@ -225,5 +225,7 @@ window.setPanel = function(panel) {
} }
window.onunload = function() { window.onunload = function() {
if (window.fontInspector) {
window.fontInspector.destroy(); window.fontInspector.destroy();
} }
}