diff options
| author | hallgren <hallgren@chalmers.se> | 2013-04-12 18:29:15 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2013-04-12 18:29:15 +0000 |
| commit | d35790e656fe70f0fa258fb8fb84aa65f9887616 (patch) | |
| tree | c3cf3663e450d3a7163cf7aaabcae8fe2c9b081f /src/www/translator/index.html | |
| parent | 1d0f9372f4c74075a98bc824568ceedb80f6cd78 (diff) | |
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.
Diffstat (limited to 'src/www/translator/index.html')
| -rw-r--r-- | src/www/translator/index.html | 7 |
1 files changed, 6 insertions, 1 deletions
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> |