matitaB/matita/html/index.html

   1 <html>
   2
   3 <head>
   4 <script type="text/javascript" src="jquery.js"></script>
   5 <script type="text/javascript" src="jquery.tooltip.min.js"></script>
   6 <script type="text/javascript" src="jquery-ui-custom.js"></script>
   7 <script type="text/javascript" src="jquery.layout-latest.js"></script>
   8 <script type="text/javascript" src="utf8MacroTable.js"></script>
   9 <script type="text/javascript" src="matitaweb.js"></script>
  10 <script type="text/javascript" src="layout.js"></script>
  11 <script type="text/javascript">
  12   $(document).ready(initialize);
  13 </script>
  14 <link rel="stylesheet" type="text/css" href="matitaweb.css"/>
  15 <link rel="stylesheet" type="text/css" href="jquery.tooltip.css"/>
  16
  17 <link href="treeview/xmlTree.css" type="text/css" rel="stylesheet"/>
  18 <script src="treeview/xmlTree.js" type="text/javascript"></script>
  19
  20 </head>
  21
  22 <!-- <body onLoad="initialize();"> -->
  23 <body>
  24 <textarea id="unescape" style="display:none;"></textarea>
  25 <div id="sandbox" style="display:none;"></div>
  26
  27
  28
  29 <div class="toparea ui-layout-north" id="toparea">
  30 <div class="titlebar" id="titlebar">
  31   <div class="mainTitle"><img src="icons/matita-32.png"><H2 id="matitaTitle">&lt;&lt;Filename&gt;&gt;</H2></div>
  32   <div class="mainRight" id="matitaLogout"><A id="hlogout" href="/logout.html">Log out</A></div>
  33 </div>
  34
  35
  36 <div class="navibar navibarclass">
  37            <A href="#" onClick="advanceForm1()"><IMG class="topimg" src="icons/advance.png"
  38                                                     id="advance" alt="Advance"
  39                                                     title="Execute one step of the script."></A>
  40            <A href="#" id="pippo" onClick="retractStep()"><IMG class="topimg" src="icons/retract.png"
  41                                                id="retract" alt="Retract"
  42                                                title="Undo execution of one step of the script."></A>
  43            <A href="#" onClick="gotoTop()"><IMG class="topimg" src="icons/top.png"
  44                                                   id="top" alt="Top" title="Undo execution of the whole script."></A>
  45            <A href="#" onClick="gotoPos()"><IMG class="topimg" src="icons/position.png"
  46                                                id="cursor" alt="Play"
  47                                                title="Execute the script until the current position of the cursor."></A>
  48            <A href="#" onClick="gotoBottom()"><IMG class="topimg" src="icons/bottom.png"
  49                                                   id="bottom" alt="Bottom" title="Execute the whole script."></A>
  50 </div>
  51 <div class="toolbar toolbarclass">
  52 <!--  <table>
  53   <tr>
  54     <td>
  55            <INPUT type="BUTTON" value="New" id="newbutton" ONCLICK="newDialog()">
  56            <INPUT type="BUTTON" value="Open" id="showdialog" ONCLICK="openDialog()">
  57            <INPUT type="BUTTON" value="Save" id="savebutton" ONCLICK="saveFile()">
  58            <INPUT type="BUTTON" value="Save as" id="saveasbutton" ONCLICK="saveDialog()">
  59     </td>
  60   </tr>
  61   <tr>
  62     <td>
  63            <INPUT type="BUTTON" value="Upload" id="uploadbutton" ONCLICK="uploadDialog()">
  64            <INPUT type="BUTTON" value="Commit" id="commitbutton" ONCLICK="commitAll()">
  65            <INPUT type="BUTTON" value="Update" id="updatebutton" ONCLICK="updateAll()">
  66            <INPUT type="BUTTON" value="Log" id="logbutton" ONCLICK="showLog()">
  67            <INPUT type="BUTTON" value="Del hrefs" id="delintbutton" ONCLICK="strip_interpr()">
  68     </td>
  69   </tr>
  70   </table>
  71 -->
  72   <p>
  73    <A href="#" onClick="newDialog()"><IMG class="toolbarimg" src="icons/add.png"
  74                                                     alt="New"
  75                                                     title="New script..."></A>
  76    <span style="width:1px; display:inline-block;"></span>
  77    <A href="#" onClick="openDialog()"><IMG class="toolbarimg" src="icons/folder.png"
  78                                                     alt="Open"
  79                                                     title="Open script..."></A>
  80    <span style="width:1px; display:inline-block;"></span>
  81    <A href="#" onClick="saveFile()"><IMG class="toolbarimg" src="icons/save.png"
  82                                                     alt="Save"
  83                                                     title="Save script"></A>
  84    <span style="width:1px; display:inline-block;"></span>
  85    <A href="#" onClick="saveDialog()"><IMG class="toolbarimg" src="icons/save.png"
  86                                                     alt="Save as"
  87                                                     title="Save script as..."></A>
  88    <span style="width:1px; display:inline-block;"></span>
  89    <A href="#" onClick="uploadDialog()"><IMG class="toolbarimg" src="icons/upload.png"
  90                                                     alt="Upload"
  91                                                     title="Import local script..."></A>
  92    <span style="width:16px; display:inline-block;"></span>
  93    <A href="#" onClick="commitAll()"><IMG class="toolbarimg" src="icons/check.png"
  94                                                     alt="Commit"
  95                                                     title="Initiate global library commit"></A>
  96    <span style="width:1px; display:inline-block;"></span>
  97    <A href="#" onClick="updateAll()"><IMG class="toolbarimg" src="icons/refresh.png"
  98                                                     alt="Update"
  99                                                     title="Update library from repository"></A>
 100    <span style="width:16px; display:inline-block;"></span>
 101    <A href="#" onClick="showLog()"><IMG class="toolbarimg" src="icons/questionmark.png"
 102                                                     alt="Log"
 103                                                     title="Show log"></A>
 104    <span style="width:1px; display:inline-block;"></span>
 105    <A href="#" onClick="strip_interpr()"><IMG class="toolbarimg" src="icons/delete.png"
 106                                                     alt="Delete hyperlinks"
 107                                                     title="Delete hyperlnks"></A>
 108   </p>
 109 </div>
 110 <div class="caption toolbarclass"><p><img align="bottom" class="topimg" src="icons/matita-text.png"></p></div>
 111 </div>
 112
 113 <div class="scriptarea ui-layout-center nomargin" id="scriptcell">
 114   <!-- the script -->
 115   <!--
 116   The two DIVs "locked" and "unlocked" MUST be on the same line (since they are
 117   inside a PRE tag, a CR will be reflected in the document presentation)
 118   -->
 119   <div style="width:100%; height:100%; overflow:auto;">
 120   <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>
 121   <!-- the script (end) -->
 122 </div>
 123
 124 <div class="sidearea ui-layout-east" id="sidearea">
 125  <div class="framed" id="disambcell"></div>
 126  <div class="framed" id="goalcell">
 127   <div id="goals"></div>
 128   <div class="context">
 129   <pre id="goalview"></pre>
 130   </div>
 131  </div>
 132 </div>
 133 </div>
 134
 135 <div class="bottomarea ui-layout-south">
 136         <div class="bottomicon"><img src="icons/error.png"></div>
 137         <div class="bottomtext" id="bottomtext"><p></p></div>
 138         <div class="bottomclose"><input type="button" id="bottomclose" onClick="abortLog()" value="Close"></div>
 139 </div>
 140
 141 </div>
 142
 143 <div class="dialog" id="dialogBox" style="display: none;">
 144   <div class="diaTitle" id="dialogTitle"></div>
 145   <div class="diaClose" id="dialogClose"><H2><A class="butClose" href="javascript:abortDialog('dialogBox')">X</A></H2></div>
 146   <INPUT type="button" id="dialogNewdir" value="Create dir..." ONCLICK="createDir()" style="width:150px"><br/>
 147   <div class="scroll" id="dialogContent"></div>
 148   <INPUT class="diaFile" type="text" id="dialogFilename">
 149   <INPUT type="button" id="dialogSelect" value="OK" ONCLICK="dialogOK()" style="width:70px">
 150 </div>
 151
 152 <div class="upload" id="uploadBox" style="display: none;">
 153   <div class="dialogTitle" id="uploadTitle"></div>
 154   <div class="diaClose" id="uploadClose"><H2><A class="butClose" href="javascript:abortDialog('uploadBox')">X</A></H2></div>
 155   <INPUT class="diaFile" type="file" id="uploadFilename">
 156   <INPUT type="button" id="uploadSelect" value="OK" ONCLICK="uploadOK()" style="width:70px">
 157 </div>
 158
 159 <!-- Mask to cover the whole screen -->
 160   <div id="mask"></div>
 161
 162 <!-- Mask to cover the toolbar -->
 163   <div id="whitemask"></div>
 164
 165  </body>
 166 </html>