function toggle_host_tools() {
const host_tools = document.getElementById("host-tools");
- if (host_tools.style.display === "none")
- host_tools.style.display = "block";
- else
+ console.log("Toggling, host_tools.style.display is '" + host_tools.style.display + "'");
+
+ if (host_tools.style.display === "block")
host_tools.style.display = "none";
+ else
+ host_tools.style.display = "block";
}
function post_reveal() {