view index.html @ 17:7400bb42e0c9

Add direct file edit link support
author Mike Pavone <pavone@retrodev.com>
date Sun, 25 Mar 2012 15:31:10 -0700
parents 85fb6ba15bc6
children 068d63627b16
line wrap: on
line source
<!DOCTYPE html>
<html>
<head>
	<title>Awesome!</title>
	<script src="/mquery.js"></script>
	<script src="/peg.js"></script>
	<script src="/mquery.js"></script>
	<script src="/parser.js"></script>
	<script src="/compiler.js"></script>
	<script src="/jsbackend.js"></script>
	<script src="/editor.js"></script>
	<script src="/scripttags.js"></script>
	<script src="/editor.tp" type="text/tabletprog"></script>
	<link rel="stylesheet" href="/editor.css">
</head>
<body>
	<div id="browser">
		<ul>
			<li><a href="/edit/editor.tp">editor.tp</a></li>
			<li><a href="/edit/samples/fib.tp">samples/fib.tp</a></li>
		</ul>
	</div>
	<div id="editor">
		<div class="controls">
			<ul id="builtin">
				<li id="ops_button">operators</li>
				<li>get:</li>
				<li>set:</li>
				<li>length</li>
				<li>if: then: else:</li>
			</ul>
			<ul id="operators">
				<li id="builtin_button">builtins</li>
				<li>&lt;</li>
				<li>&gt;</li>
				<li>+</li>
				<li>-</li>
				<li>*</li>
				<li>/</li>
				<li>&&</li>
				<li>||</li>
			</ul>
			<ul id="inscope"></ul>
		</div><div id="src"></div><div class="controls">
			<ul></ul>
			<ul></ul>
		</div>
	</div>
</body>
</html>