The Tor Browser / file diff

     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/browser/devtools/framework/test/browser_toolbox_tool_ready.js	Wed Dec 31 06:09:35 2014 +0100
     1.3 @@ -0,0 +1,40 @@
     1.4 +/* Any copyright is dedicated to the Public Domain.
     1.5 +   http://creativecommons.org/publicdomain/zero/1.0/ */
     1.6 +
     1.7 +function test() {
     1.8 +  addTab().then(function(data) {
     1.9 +    data.target.makeRemote().then(performChecks.bind(null, data));
    1.10 +  }).then(null, console.error);
    1.11 +
    1.12 +  function performChecks(data) {
    1.13 +    let toolIds = gDevTools.getToolDefinitionArray()
    1.14 +                    .filter(def => def.isTargetSupported(data.target))
    1.15 +                    .map(def => def.id);
    1.16 +
    1.17 +    let open = function(index) {
    1.18 +      let toolId = toolIds[index];
    1.19 +
    1.20 +      info("About to open " + index + "/" + toolId);
    1.21 +      gDevTools.showToolbox(data.target, toolId).then(function(toolbox) {
    1.22 +        ok(toolbox, "toolbox exists for " + toolId);
    1.23 +        is(toolbox.currentToolId, toolId, "currentToolId should be " + toolId);
    1.24 +
    1.25 +        let panel = toolbox.getCurrentPanel();
    1.26 +        ok(panel.isReady, toolId + " panel should be ready");
    1.27 +
    1.28 +        let nextIndex = index + 1;
    1.29 +        if (nextIndex >= toolIds.length) {
    1.30 +          toolbox.destroy().then(function() {
    1.31 +            gBrowser.removeCurrentTab();
    1.32 +            finish();
    1.33 +          });
    1.34 +        }
    1.35 +        else {
    1.36 +          open(nextIndex);
    1.37 +        }
    1.38 +      }, console.error);
    1.39 +    };
    1.40 +
    1.41 +    open(0);
    1.42 +  }
    1.43 +}