Added all the syntax editor files from Moises.

This is the version that he sent to me on Fri, Apr 11, 2008 at 2:42 PM. I'm not sure if this is the latest version.
This commit is contained in:
bjorn
2008-06-16 17:42:20 +00:00
parent f117eb95c3
commit a0d29773a6
9 changed files with 2382 additions and 25 deletions

View File

@@ -0,0 +1,17 @@
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
<link rel="stylesheet" type="text/css" href="style.css" />
<script type="text/javascript" src="gflib.js"></script>
<script type="text/javascript" src="editorGrammar.js"></script>
<script type="text/javascript" src="grammar.js"></script>
<script type="text/javascript" src="gfjseditor.js"></script>
<title>Web-based Syntax Editor</title>
</head>
<body onload="mkEditor('editor', Literals)" onkeydown="hotKeys(event)">
<div id="editor">
</div>
</body>
</html>