From d35790e656fe70f0fa258fb8fb84aa65f9887616 Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Fri, 12 Apr 2013 18:29:15 +0000
Subject: GF cloud: work on syntax editor integration

+ The syntax editor is now accessible from the Simple Translaton Tool.
+ The minibar now automatically provides access to the syntax editor (provided
  the necessary JavaScript files and style sheets have been loaded).
+ Preparations for making the syntax editor accessible from the grammar editor.
---
 src/www/translator/index.html | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'src/www/translator/index.html')

diff --git a/src/www/translator/index.html b/src/www/translator/index.html
index b561f0fc3..97eeb22d7 100644
--- a/src/www/translator/index.html
+++ b/src/www/translator/index.html
@@ -4,6 +4,7 @@
 <link rel="stylesheet" type="text/css" href="../gfse/editor.css" title="Cloud">
 <link rel="stylesheet" type="text/css" href="translator.css" title="Cloud">
 <link rel="stylesheet" type="text/css" href="../minibar/minibar.css">
+<link rel=stylesheet type="text/css" href="../syntax-editor/editor.css">
 <meta name = "viewport" content = "width = device-width">
 <meta charset="UTF-8">
 </head>
@@ -77,10 +78,11 @@
 </div>
 <hr>
 <div class=modtime><small>HMTL
-<!-- hhmts start -->Last modified: Fri Apr 12 14:18:13 CEST 2013 <!-- hhmts end -->
+<!-- hhmts start -->Last modified: Fri Apr 12 17:03:43 CEST 2013 <!-- hhmts end -->
 </small></div>
 <a href="about.html">About</a>
 
+<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>
 <script type="text/javascript" src="../js/gfrobust.js"></script>
@@ -92,6 +94,9 @@
 <script type="text/javascript" src="../minibar/minibar_input.js"></script>
 <script type="text/javascript" src="../minibar/minibar_translations.js"></script>
 <script type="text/javascript" src="../minibar/minibar_support.js"></script>
+<script type="text/javascript" src="../syntax-editor/ast.js"></script>
+<script type="text/javascript" src="../syntax-editor/editor_menu.js"></script>
+<script type="text/javascript" src="../syntax-editor/editor.js"></script>
 
 <script type="text/javascript" src="translator.js"></script>
 
-- 
cgit v1.2.3