michael@0: /* Any copyright is dedicated to the Public Domain.
michael@0:    http://creativecommons.org/publicdomain/zero/1.0/ */
michael@0: 
michael@0: /**
michael@0:  * Make sure that we don't leave the pretty print button checked when we fail to
michael@0:  * pretty print a source (because it isn't a JS file, for example).
michael@0:  */
michael@0: 
michael@0: const TAB_URL = EXAMPLE_URL + "doc_blackboxing.html";
michael@0: 
michael@0: let gTab, gDebuggee, gPanel, gDebugger;
michael@0: let gEditor, gSources;
michael@0: 
michael@0: function test() {
michael@0:   initDebugger(TAB_URL).then(([aTab, aDebuggee, aPanel]) => {
michael@0:     gTab = aTab;
michael@0:     gDebuggee = aDebuggee;
michael@0:     gPanel = aPanel;
michael@0:     gDebugger = gPanel.panelWin;
michael@0:     gEditor = gDebugger.DebuggerView.editor;
michael@0:     gSources = gDebugger.DebuggerView.Sources;
michael@0: 
michael@0:     waitForSourceShown(gPanel, "")
michael@0:       .then(() => {
michael@0:         let shown = ensureSourceIs(gPanel, TAB_URL, true)
michael@0:         gSources.selectedValue = TAB_URL;
michael@0:         return shown;
michael@0:       })
michael@0:       .then(clickPrettyPrintButton)
michael@0:       .then(testButtonIsntChecked)
michael@0:       .then(() => closeDebuggerAndFinish(gPanel))
michael@0:       .then(null, aError => {
michael@0:         ok(false, "Got an error: " + DevToolsUtils.safeErrorString(aError));
michael@0:       });
michael@0:   });
michael@0: }
michael@0: 
michael@0: function clickPrettyPrintButton() {
michael@0:   gDebugger.document.getElementById("pretty-print").click();
michael@0: }
michael@0: 
michael@0: function testButtonIsntChecked() {
michael@0:   is(gDebugger.document.getElementById("pretty-print").checked, false,
michael@0:      "The button shouldn't be checked after trying to pretty print a non-js file.");
michael@0: }
michael@0: 
michael@0: registerCleanupFunction(function() {
michael@0:   gTab = null;
michael@0:   gDebuggee = null;
michael@0:   gPanel = null;
michael@0:   gDebugger = null;
michael@0:   gEditor = null;
michael@0:   gSources = null;
michael@0: });