<html>
-<head>
-</head>
-
+
<head>
<script type="text/javascript" src="matitaweb.js"></script>
+<link rel="stylesheet" type="text/css" href="matitaweb.css"/>
</head>
<body onLoad="initialize();">
<A href="javascript:gotoBottom()"><IMG src="icons/bottom.png"
id="bottom" alt="Bottom" title="Execute the whole script."></A>
<INPUT type="TEXT" id="filename" value=""><INPUT type="BUTTON" value="Open" ONCLICK="openFile()"></p>
+ <INPUT type="BUTTON" value="show dialog" id="showdialog" ONCLICK="showDialog()">
<!-- <INPUT type="BUTTON" value="show sequent" id="showseq" ONCLICK="showSequent()">
<INPUT type="BUTTON" value="hide sequent" id="hideseq" ONCLICK="hideSequent()">
<INPUT type="BUTTON" value="selection test" id="hideseq" ONCLICK="test()"> -->
</td>
</tr>
</table>
+
+<div class="dialog" style="display: none;">
+ <p id="dialogTitle">Title</p>
+ <div class="scroll"></div>
+</div>
</body>
</html>
--- /dev/null
+div.dialog {
+ position:absolute;
+ top: 50%;
+ left: 50%;
+ width:400px;
+ height:300px;
+ margin-top: -150px; /*set to a negative number 1/2 of your height*/
+ margin-left: -200px; /*set to a negative number 1/2 of your width*/
+ border: 1px solid #ccc;
+ background-color: #f3f3f3;
+}
+
+div.scroll {
+ border: 1px;
+ border-style:solid;
+ height:100%;
+ width:100%;
+ overflow:auto;
+}
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);
projects / helm.git / commitdiff