var retractButton;
var cursorButton;
var bottomButton;
+var dialogBox;
+var dialogTitle;
var metasenv = "";
function initialize()
retractButton = document.getElementById("retract");
cursorButton = document.getElementById("cursor");
bottomButton = document.getElementById("bottom");
+ dialogBox = document.getElementById("dialogBox");
+ dialogTitle = document.getElementById("dialogTitle");
// hide sequent view at start
hideSequent();
workarea.appendChild(goalcell);
}
+function showDialog(title) {
+
+ dialogBox.display = "block";
+ dialogTitle.innerHTML = title;
+}
+
function removeElement(id) {
var element = document.getElementById(id);
element.parentNode.removeChild(element);