michael@0: /* Any copyright is dedicated to the Public Domain.
michael@0:    http://creativecommons.org/publicdomain/zero/1.0/ */
michael@0: 
michael@0: function test() {
michael@0:   waitForExplicitFinish();
michael@0: 
michael@0:   window.addEventListener("tabviewshown", onTabViewWindowLoaded, false);
michael@0:   TabView.toggle();
michael@0: }
michael@0: 
michael@0: function onTabViewWindowLoaded() {
michael@0:   window.removeEventListener("tabviewshown", onTabViewWindowLoaded, false);
michael@0: 
michael@0:   ok(TabView.isVisible(), "Tab View is visible");
michael@0: 
michael@0:   let onTabViewHidden = function() {
michael@0:     window.removeEventListener("tabviewhidden", onTabViewHidden, false);
michael@0:     ok(!TabView.isVisible(), "Tab View is hidden");
michael@0: 
michael@0:     finish();
michael@0:   };
michael@0:   window.addEventListener("tabviewhidden", onTabViewHidden, false);
michael@0:   document.getElementById("cmd_closeWindow").doCommand();
michael@0: }