From 47dc9e8a3f734b6a8583d439e45a5ca0f533623f Mon Sep 17 00:00:00 2001
From: Jan Keromnes <janx@linux.com>
Date: Tue, 4 Mar 2014 09:51:34 -0500
Subject: [PATCH] Bug 979216 - Developer HUD doesn't go away when disabled.
 r=trivial

---
 b2g/chrome/content/devtools.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/b2g/chrome/content/devtools.js b/b2g/chrome/content/devtools.js
index 921eecf724b..1d3090b0ca5 100644
--- a/b2g/chrome/content/devtools.js
+++ b/b2g/chrome/content/devtools.js
@@ -141,7 +141,7 @@ let developerHUD = {
       delete target.metrics;
       target.display();
 
-      this._target.delete(frame);
+      this._targets.delete(frame);
     }
   },