The Tor Browser: browser/devtools/app-manager/content/index.js@6474c204b198 (annotated)

browser/devtools/app-manager/content/index.js@6474c204b198 (annotated)

browser/devtools/app-manager/content/index.js

Wed, 31 Dec 2014 06:09:35 +0100

author: Michael Schloh von Bennewitz <michael@schloh.com>
date: Wed, 31 Dec 2014 06:09:35 +0100
changeset 0: 6474c204b198
permissions: -rw-r--r--

Cloned upstream origin tor-browser at tor-browser-31.3.0esr-4.5-1-build1
revision ID fc1c9ff7c1b2defdbc039f12214767608f46423f for hacking purpose.

 /* This Source Code Form is subject to the terms of the Mozilla Public
  * License, v. 2.0. If a copy of the MPL was not distributed with this
  * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
 const Cu = Components.utils;
 Cu.import("resource:///modules/devtools/gDevTools.jsm");
 const {devtools} = Cu.import("resource://gre/modules/devtools/Loader.jsm", {});
 const {require} = devtools;
 const {ConnectionManager, Connection} = require("devtools/client/connection-manager");
 const promise = require("devtools/toolkit/deprecated-sync-thenables");
 const prefs = require('sdk/preferences/service');
 let UI = {
   _toolboxTabCursor: 0,
   _handledTargets: new Map(),
   connection: null,
   init: function() {
     this.onLoad = this.onLoad.bind(this);
     this.onUnload = this.onUnload.bind(this);
     this.onMessage = this.onMessage.bind(this);
     this.onConnected = this.onConnected.bind(this);
     this.onDisconnected = this.onDisconnected.bind(this);
     window.addEventListener("load", this.onLoad);
     window.addEventListener("unload", this.onUnload);
     window.addEventListener("message", this.onMessage);
   },
   onLoad: function() {
     window.removeEventListener("load", this.onLoad);
     let defaultPanel = prefs.get("devtools.appmanager.lastTab");
     let panelExists = !!document.querySelector("." + defaultPanel  + "-panel");
     this.selectTab(panelExists ? defaultPanel : "projects");
   },
   onUnload: function() {
     for (let [target, toolbox] of this._handledTargets) {
       toolbox.destroy();
     }
     window.removeEventListener("unload", this.onUnload);
     window.removeEventListener("message", this.onMessage);
     if (this.connection) {
       this.connection.off(Connection.Status.CONNECTED, this.onConnected);
       this.connection.off(Connection.Status.DISCONNECTED, this.onDisconnected);
     }
   },
   onMessage: function(event) {
     try {
       let json = JSON.parse(event.data);
       switch (json.name) {
         case "connection":
           let cid = +json.cid;
           for (let c of ConnectionManager.connections) {
             if (c.uid == cid) {
               this.onNewConnection(c);
               break;
             }
           }
           break;
         case "closeHelp":
           this.selectTab("projects");
           break;
         case "toolbox-raise":
           window.top.focus();
           this.selectTab(json.uid);
           break;
         case "toolbox-close":
           this.closeToolboxTab(json.uid);
           break;
         case "toolbox-title":
           // Not implemented
           break;
         default:
           Cu.reportError("Unknown message: " + json.name);
       }
     } catch(e) { Cu.reportError(e); }
     // Forward message
     let panels = document.querySelectorAll(".panel");
     for (let frame of panels) {
       frame.contentWindow.postMessage(event.data, "*");
     }
   },
   selectTabFromButton: function(button) {
     if (!button.hasAttribute("panel"))
       return;
     this.selectTab(button.getAttribute("panel"));
   },
   selectTab: function(panel) {
     let isToolboxTab = false;
     for (let type of ["button", "panel"]) {
       let oldSelection = document.querySelector("." + type + "[selected]");
       let newSelection = document.querySelector("." + panel + "-" + type);
       if (oldSelection) oldSelection.removeAttribute("selected");
       if (newSelection) {
         newSelection.setAttribute("selected", "true");
         if (newSelection.classList.contains("toolbox")) {
           isToolboxTab = true;
         }
       }
     }
     if (!isToolboxTab) {
       prefs.set("devtools.appmanager.lastTab", panel);
     }
   },
   onNewConnection: function(connection) {
     this.connection = connection;
     this.connection.on(Connection.Status.CONNECTED, this.onConnected);
     this.connection.on(Connection.Status.DISCONNECTED, this.onDisconnected);
   },
   onConnected: function() {
     document.querySelector("#content").classList.add("connected");
   },
   onDisconnected: function() {
     for (let [,toolbox] of this._handledTargets) {
       if (toolbox) {
         toolbox.destroy();
       }
     }
     this._handledTargets.clear();
     document.querySelector("#content").classList.remove("connected");
   },
   createToolboxTab: function(name, iconURL, uid) {
     let button = document.createElement("button");
     button.className = "button toolbox " + uid + "-button";
     button.setAttribute("panel", uid);
     button.textContent = name;
     button.setAttribute("style", "background-image: url(" + iconURL + ")");
     let toolboxTabs = document.querySelector("#toolbox-tabs");
     toolboxTabs.appendChild(button);
     let iframe = document.createElement("iframe");
     iframe.setAttribute("flex", "1");
     iframe.className = "panel toolbox " + uid + "-panel";
     let panels = document.querySelector("#tab-panels");
     panels.appendChild(iframe);
     this.selectTab(uid);
     return iframe;
   },
   closeToolboxTab: function(uid) {
     let buttonToDestroy = document.querySelector("." + uid + "-button");
     let panelToDestroy = document.querySelector("." + uid + "-panel");
     if (buttonToDestroy.hasAttribute("selected")) {
       let lastTab = prefs.get("devtools.appmanager.lastTab");
       this.selectTab(lastTab);
     }
     buttonToDestroy.remove();
     panelToDestroy.remove();
   },
   openAndShowToolboxForTarget: function(target, name, icon) {
     let host = devtools.Toolbox.HostType.CUSTOM;
     let toolbox = gDevTools.getToolbox(target);
     if (!toolbox) {
       let uid = "uid" + this._toolboxTabCursor++;
       let iframe = this.createToolboxTab(name, icon, uid);
       let options = { customIframe: iframe , uid: uid };
       this._handledTargets.set(target, null);
       return gDevTools.showToolbox(target, null, host, options).then(toolbox => {
         this._handledTargets.set(target, toolbox);
         toolbox.once("destroyed", () => {
           this._handledTargets.delete(target)
         });
       });
     } else {
       return gDevTools.showToolbox(target, null, host);
     }
   }
 }
 UI.init();