From 3a9ba1582a12774c08f397b926c8172aeb69f84b Mon Sep 17 00:00:00 2001
From: Michael Ratcliffe <mratcliffe@mozilla.com>
Date: Fri, 24 May 2013 12:06:00 +0100
Subject: [PATCH] Bug 875717 - TypeError: window.fontInspector is undefined in
 chrome://browser/content/devtools/fontinspector/font-inspector.js:228
 r=harthur

---
 browser/devtools/fontinspector/font-inspector.js | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/browser/devtools/fontinspector/font-inspector.js b/browser/devtools/fontinspector/font-inspector.js
index 7995e586806..9983db21fd0 100644
--- a/browser/devtools/fontinspector/font-inspector.js
+++ b/browser/devtools/fontinspector/font-inspector.js
@@ -225,5 +225,7 @@ window.setPanel = function(panel) {
 }
 
 window.onunload = function() {
-  window.fontInspector.destroy();
+  if (window.fontInspector) {
+    window.fontInspector.destroy();
+  }
 }