<html>
<head>
+<script type="text/javascript" src="utf8MacroTable.js"></script>
<script type="text/javascript" src="matitaweb.js"></script>
<link rel="stylesheet" type="text/css" href="matitaweb.css"/>
+
+<link href="treeview/xmlTree.css" type="text/css" rel="stylesheet"/>
+<script src="treeview/xmlTree.js" type="text/javascript"></script>
+
</head>
<body onLoad="initialize();">
title="Execute the script until the current position of the cursor."></A>
<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('Dialog Test')">
+ <INPUT type="BUTTON" value="Browse library" id="showdialog" ONCLICK="showLibrary()"></p>
<!-- <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()"> -->
</table>
<div class="dialog" id="dialogBox" style="display: none;">
- <div class="diaTitle" id="dialogTitle">Title</p>
- <div class="scroll"></div>
+ <div class="diaTitle" id="dialogTitle"></div>
+ <div class="scroll" id="dialogContent"></div>
</div>
</body>
</html>