| OLD | NEW |
| 1 /* | 1 /* |
| 2 * This Source Code is subject to the terms of the Mozilla Public License | 2 * This Source Code is subject to the terms of the Mozilla Public License |
| 3 * version 2.0 (the "License"). You can obtain a copy of the License at | 3 * version 2.0 (the "License"). You can obtain a copy of the License at |
| 4 * http://mozilla.org/MPL/2.0/. | 4 * http://mozilla.org/MPL/2.0/. |
| 5 */ | 5 */ |
| 6 | 6 |
| 7 let EXPORTED_SYMBOLS = ["shutdown", "getNodeInfo", "togglePreview", | 7 let EXPORTED_SYMBOLS = ["shutdown", "getNodeInfo", "togglePreview", |
| 8 "forgetNode"]; | 8 "forgetNode"]; |
| 9 | 9 |
| 10 const Ci = Components.interfaces; | 10 const Ci = Components.interfaces; |
| 11 const Cu = Components.utils; | 11 const Cu = Components.utils; |
| 12 | 12 |
| 13 let {console} = Cu.import("resource://gre/modules/devtools/Console.jsm", {}); | 13 let {console} = Cu.import("resource://gre/modules/devtools/Console.jsm", {}); |
| 14 let {DebuggerServer} = Cu.import("resource://gre/modules/devtools/dbg-server.jsm
", {}); | 14 let {DebuggerServer} = Cu.import("resource://gre/modules/devtools/dbg-server.jsm
", {}); |
| 15 let {Services} = Cu.import("resource://gre/modules/Services.jsm", {}); | 15 let {Services} = Cu.import("resource://gre/modules/Services.jsm", {}); |
| 16 | 16 |
| 17 let processID = Services.appinfo.processID; | 17 let processID = Services.appinfo.processID; |
| 18 let maxNodeID = 0; | 18 let maxNodeID = 0; |
| 19 let nodes = new Map(); | 19 let nodes = new Map(); |
| 20 | 20 |
| 21 let name = "elemhidehelper"; | 21 let name = "elemhidehelper"; |
| 22 let actor = { | 22 let actor = { |
| 23 constructorFun: Actor, | 23 constructorFun: Actor, |
| 24 constructorName: name, | 24 constructorName: name, |
| 25 name: name | 25 name: name |
| 26 }; | 26 }; |
| 27 | 27 |
| 28 DebuggerServer.addTabActor(actor, name); | 28 DebuggerServer.addTabActor(actor, name); |
| 29 | 29 |
| 30 let shutdown = (function() | 30 var shutdown = (function() |
| 31 { | 31 { |
| 32 let executed = false; | 32 let executed = false; |
| 33 return function() | 33 return function() |
| 34 { | 34 { |
| 35 if (!executed) | 35 if (!executed) |
| 36 { | 36 { |
| 37 executed = true; | 37 executed = true; |
| 38 try | 38 try |
| 39 { | 39 { |
| 40 DebuggerServer.removeTabActor(actor); | 40 DebuggerServer.removeTabActor(actor); |
| (...skipping 121 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 162 // forget this node then. | 162 // forget this node then. |
| 163 forgetNode(nodeID); | 163 forgetNode(nodeID); |
| 164 } | 164 } |
| 165 } | 165 } |
| 166 } | 166 } |
| 167 | 167 |
| 168 function forgetNode(nodeID) | 168 function forgetNode(nodeID) |
| 169 { | 169 { |
| 170 nodes.delete(nodeID); | 170 nodes.delete(nodeID); |
| 171 } | 171 } |
| OLD | NEW |