Syntax editor: now uses common GrammarManager object

This commit is contained in:
john.j.camilleri
2012-11-23 15:03:36 +00:00
parent fe9b368b90
commit 7fe922d5a6
7 changed files with 284 additions and 93 deletions

View File

@@ -7,18 +7,20 @@
<link rel="stylesheet" type="text/css" href="../minibar/minibar.css" />
<link rel="stylesheet" type="text/css" href="editor.css" />
</head>
<body class=syntax_editor>
<body class="syntax-editor">
<h2>Syntax Editor</h2>
<div id=minibar></div>
<div id=editor></div>
<div id="minibar"></div>
<div id="editor"></div>
<noscript>This page doesn't works unless JavaScript is enabled.</noscript>
<hr />
<small class="modtime">
John J. Camilleri, November 2012
</small>
<div id="debug" class="hidden"></div>
<!-- Common -->
<script type="text/javascript" src="../js/grammar_manager.js"></script>
<script type="text/javascript" src="../js/support.js"></script>
<script type="text/javascript" src="../js/pgf_online.js"></script>