Function maximizeDock

static/js/learnpython.js:318–327

()

}

function maximizeDock() {
	var dock = document.querySelector("footer#dock");
	var toggleButton = document.querySelector("#toggle-dock-button");
	// $("#run-button").prop("disabled", false);

	dock.classList.add("maximized");
	toggleButton.classList.remove("btn-primary");
	toggleButton.classList.add("btn-success");

}


function minimizeDock() {