<head>
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="jquery.tooltip.min.js"></script>
+<script type="text/javascript" src="jquery-ui-custom.js"></script>
+<script type="text/javascript" src="jquery.layout-latest.js"></script>
<script type="text/javascript" src="utf8MacroTable.js"></script>
<script type="text/javascript" src="matitaweb.js"></script>
<script type="text/javascript" src="layout.js"></script>
+<script type="text/javascript">
+ $(document).ready(initialize);
+</script>
<link rel="stylesheet" type="text/css" href="matitaweb.css"/>
<link rel="stylesheet" type="text/css" href="jquery.tooltip.css"/>
</head>
-<body onLoad="initialize();">
+<!-- <body onLoad="initialize();"> -->
+<body>
<textarea id="unescape" style="display:none;"></textarea>
<div id="sandbox" style="display:none;"></div>
-<div class="matitaapparea" id="matitaapparea">
+
+<div class="toparea ui-layout-north" id="toparea">
<div class="titlebar" id="titlebar">
<div class="mainTitle"><H2 id="matitaTitle">Matita - <<Filename>></H2></div>
<div class="mainRight" id="matitaLogout"><A id="hlogout" href="/logout.html">Log out</A></div>
</div>
-<div class="toparea" id="toparea">
-<div class="navibar">
- <A href="javascript:advanceForm1()"><IMG class="topimg" src="icons/advance.png"
+<div class="navibar navibarclass">
+ <A href="#" onClick="advanceForm1()"><IMG class="topimg" src="icons/advance.png"
id="advance" alt="Advance"
title="Execute one step of the script."></A>
- <A href="
javascript:retract()"><IMG class="topimg" src="icons/retract.png"
+ <A href="
#" id="pippo" onClick="retractStep()"><IMG class="topimg" src="icons/retract.png"
id="retract" alt="Retract"
title="Undo execution of one step of the script."></A>
- <A href="
javascript:gotoTop()"><IMG class="topimg" src="icons/top.png"
+ <A href="
#" onClick="gotoTop()"><IMG class="topimg" src="icons/top.png"
id="top" alt="Top" title="Undo execution of the whole script."></A>
- <A href="
javascript:gotoPos()"><IMG class="topimg" src="icons/position.png"
+ <A href="
#" onClick="gotoPos()"><IMG class="topimg" src="icons/position.png"
id="cursor" alt="Play"
title="Execute the script until the current position of the cursor."></A>
- <A href="
javascript:gotoBottom()"><IMG class="topimg" src="icons/bottom.png"
+ <A href="
#" onClick="gotoBottom()"><IMG class="topimg" src="icons/bottom.png"
id="bottom" alt="Bottom" title="Execute the whole script."></A>
</div>
-<div class="toolbar">
- <table>
+<div class="toolbar toolbarclass">
<tr>
<td>
<INPUT type="BUTTON" value="New" id="newbutton" ONCLICK="newDialog()">
<INPUT type="BUTTON" value="Update" id="updatebutton" ONCLICK="updateAll()">
<INPUT type="BUTTON" value="Log" id="logbutton" ONCLICK="showLog()">
<INPUT type="BUTTON" value="Del hrefs" id="delintbutton" ONCLICK="strip_interpr()">
-<!-- <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>
-
+-->
+ <p>
+ <A href="#" onClick="newDialog()"><IMG class="toolbarimg" src="icons/add.png"
+ alt="New"
+ title="New script..."></A>
+ <span style="width:1px; display:inline-block;"></span>
+ <A href="#" onClick="openDialog()"><IMG class="toolbarimg" src="icons/folder.png"
+ alt="Open"
+ title="Open script..."></A>
+ <span style="width:1px; display:inline-block;"></span>
+ <A href="#" onClick="saveFile()"><IMG class="toolbarimg" src="icons/save.png"
+ alt="Save"
+ title="Save script"></A>
+ <span style="width:1px; display:inline-block;"></span>
+ <A href="#" onClick="saveDialog()"><IMG class="toolbarimg" src="icons/save.png"
+ alt="Save as"
+ title="Save script as..."></A>
+ <span style="width:1px; display:inline-block;"></span>
+ <A href="#" onClick="uploadDialog()"><IMG class="toolbarimg" src="icons/upload.png"
+ alt="Upload"
+ title="Import local script..."></A>
+ <span style="width:16px; display:inline-block;"></span>
+ <A href="#" onClick="commitAll()"><IMG class="toolbarimg" src="icons/check.png"
+ alt="Commit"
+ title="Initiate global library commit"></A>
+ <span style="width:1px; display:inline-block;"></span>
+ <A href="#" onClick="updateAll()"><IMG class="toolbarimg" src="icons/refresh.png"
+ alt="Update"
+ title="Update library from repository"></A>
+ <span style="width:16px; display:inline-block;"></span>
+ <A href="#" onClick="showLog()"><IMG class="toolbarimg" src="icons/questionmark.png"
+ alt="Log"
+ title="Show log"></A>
+ <span style="width:1px; display:inline-block;"></span>
+ <A href="#" onClick="strip_interpr()"><IMG class="toolbarimg" src="icons/delete.png"
+ alt="Delete hyperlinks"
+ title="Delete hyperlnks"></A>
+ </p>
</div>
-<div class="caption"><p><img align="bottom" class="topimg" src="icons/matita-text.png"></p></div>
+<div class="caption
toolbarclass"><p><img align="bottom" class="topimg" src="icons/matita-text.png"></p></div>
</div>
-<div class="workarea" id="workarea">
-<div class="scriptarea" id="scriptcell">
+<div class="scriptarea ui-layout-center nomargin" id="scriptcell">
<!-- the script -->
<!--
The two DIVs "locked" and "unlocked" MUST be on the same line (since they are
inside a PRE tag, a CR will be reflected in the document presentation)
-->
<div style="width:100%; height:100%; overflow:auto;">
- <pre><div contentEditable="false" id="locked" style="background-color:#bfbfff; display:inline;"></div><div contentEditable="true" id="unlocked" style="display:inline">(* script *)</div></pre></div>
+ <pre
class="smallmargin"><div contentEditable="false" id="locked" style="background-color:#bfbfff; display:inline;"></div><div contentEditable="true" id="unlocked" style="display:inline">(* script *)</div></pre></div>
<!-- the script (end) -->
</div>
-<div class="sidearea" id="sidearea">
+
+<div class="sidearea ui-layout-east" id="sidearea">
<div class="framed" id="disambcell"></div>
<div class="framed" id="goalcell">
<div id="goals"></div>
</div>
</div>
-<!-- <div class="bottomarea">
- <textarea id="logarea" style="width:100%; height:100%"></textarea>
-</div> -->
+<div class="bottomarea ui-layout-south">
+ <div class="bottomicon"><img src="icons/error.png"></div>
+ <div class="bottomtext" id="bottomtext"><p></p></div>
+ <div class="bottomclose"><input type="button" id="bottomclose" onClick="abortLog()" value="Close"></div>
+</div>
</div>
projects / helm.git / blobdiff