The Tor Browser / file diff

     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/browser/components/sessionstore/test/browser_662812.js	Wed Dec 31 06:09:35 2014 +0100
     1.3 @@ -0,0 +1,36 @@
     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 +  waitForExplicitFinish();
     1.9 +
    1.10 +  window.addEventListener("SSWindowStateBusy", function onBusy() {
    1.11 +    window.removeEventListener("SSWindowStateBusy", onBusy, false);
    1.12 +
    1.13 +    let state = JSON.parse(ss.getWindowState(window));
    1.14 +    ok(state.windows[0].busy, "window is busy");
    1.15 +
    1.16 +    window.addEventListener("SSWindowStateReady", function onReady() {
    1.17 +      window.removeEventListener("SSWindowStateReady", onReady, false);
    1.18 +
    1.19 +      let state = JSON.parse(ss.getWindowState(window));
    1.20 +      ok(!state.windows[0].busy, "window is not busy");
    1.21 +
    1.22 +      executeSoon(() => {
    1.23 +        gBrowser.removeTab(gBrowser.tabs[1]);
    1.24 +        finish();
    1.25 +      });
    1.26 +    }, false);
    1.27 +  }, false);
    1.28 +
    1.29 +  // create a new tab
    1.30 +  let tab = gBrowser.addTab("about:mozilla");
    1.31 +  let browser = tab.linkedBrowser;
    1.32 +
    1.33 +  // close and restore it
    1.34 +  browser.addEventListener("load", function onLoad() {
    1.35 +    browser.removeEventListener("load", onLoad, true);
    1.36 +    gBrowser.removeTab(tab);
    1.37 +    ss.undoCloseTab(window, 0);
    1.38 +  }, true);
    1.39 +}