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.

1 files changed, 4 insertions, 2 deletions

diff --git a/src/www/gfse/index.html b/src/www/gfse/index.html
index cfa89762d..12f50ef7e 100644
--- a/src/www/gfse/index.html
+++ b/src/www/gfse/index.html
@@ -33,23 +33,25 @@ This page does not work without JavaScript.
 <hr>
 <div class=modtime><small>
 HTML
-<!-- hhmts start -->Last modified: Wed Apr  3 20:30:24 CEST 2013 <!-- hhmts end -->
+<!-- hhmts start -->Last modified: Fri Apr 12 20:22:01 CEST 2013 <!-- hhmts end -->
 </small></div>
 <a href="about.html">About</a>
 <pre id=debug></pre>
 <script type="text/javascript" src="config.js"></script> <!-- optional -->
 <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/localstorage.js"></script>
+
 <script type="text/javascript" src="localstorage.js"></script>
 <script type="text/javascript" src="gf_abs.js"></script>
 <script type="text/javascript" src="example_based.js"></script>
 <script type="text/javascript" src="sort.js"></script>
 <script type="text/javascript" src="cloud2.js"></script>
 <script type="text/javascript" src="editor.js"></script>
+
 <script type="text/JavaScript" src="../minibar/minibar.js"></script>
 <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="../js/pgf_online.js"></script>
 </body>
 </html>