version 1.41, 2001/07/04 19:59:24
|
version 1.42, 2001/07/08 18:35:03
|
Line 2749 function leave() {
|
Line 2749 function leave() {
|
</head> |
</head> |
|
|
<body bgcolor="#FFFFFF" onLoad="main();" onUnload="leave();"> |
<body bgcolor="#FFFFFF" onLoad="main();" onUnload="leave();"> |
<a href="javascript:togglemode();">Toggle Display Mode</a> |
<table border=0><tr><td bgcolor="#aaaaaa"> |
<a href="javascript:if (zscale>1) { zscale--; draw();}">Zoom Out</a> |
<table border=0><tr> |
<a href="javascript:if (zscale<3) { zscale++; draw();}">Zoom In</a> |
<td bgcolor="#ffffcc"><a href="javascript:togglemode();"><b>T</b>oggle display</a> </td> |
<a href="javascript:condense();draw();">Condense</a> |
<td bgcolor="#ffffcc"><a href="javascript:if (zscale>1) { zscale--; draw();}"><b>Z</b>oom out</a> </td> |
<a href="javascript:graphopt();draw();">Straighten</a> |
<td bgcolor="#ffffcc"><a href="javascript:if (zscale<3) { zscale++; draw();}"><b>Z</b>oom in</a> </td> |
<a href="javascript:revert();">Revert</a> |
<td bgcolor="#ffffcc"><a href="javascript:condense();draw();"><b>C</b>ondense</a> </td> |
<a href="javascript:undo();">Undo</a> |
<td bgcolor="#ffffcc"><a href="javascript:graphopt();draw();"><b>S</b>traighten</a> </td> |
<a href="javascript:redo();">Redo</a> |
<td bgcolor="#ffffcc"><a href="javascript:revert();"><b>R</b>evert</a> </td> |
<a href="javascript:groupsearch();">Group Search</a> |
<td bgcolor="#ffffcc"><a href="javascript:undo();"><b>U</b>ndo</a> </td> |
<a href="javascript:groupimport();">Group Import</a> |
<td bgcolor="#ffffcc"><a href="javascript:redo();"><b>R</b>edo</a> </td> |
<a href="javascript:storechange();">Save Map</a> |
<td bgcolor="#ffffcc"><a href="javascript:groupsearch();"><b>G</b>roup search</a> </td> |
|
<td bgcolor="#ffffcc"><a href="javascript:groupimport();"><b>G</b>roup import</a> </td> |
|
<td bgcolor="#ffcccc"><a href="javascript:storechange();"><b>S</b>ave map</a> </td> |
|
</tr></table> |
|
</td></tr></table> |
</body> |
</body> |
</html> |
</html> |