diff options
| author | hallgren <hallgren@chalmers.se> | 2013-04-03 20:24:57 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2013-04-03 20:24:57 +0000 |
| commit | a22a419bc7ea0dc45f9965e6ffebf42417212d52 (patch) | |
| tree | 592af96d4a5b44b5a6dbe4ab83c13e4a2de7a60e /src/www/translator/index.html | |
| parent | 0568a1a32a777c234ec044d56d46d5d4b4c0e760 (diff) | |
Simple Translation Tool: initial support for editing source segments in the minibar
Diffstat (limited to 'src/www/translator/index.html')
| -rw-r--r-- | src/www/translator/index.html | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/src/www/translator/index.html b/src/www/translator/index.html index 27314d595..7dc696352 100644 --- a/src/www/translator/index.html +++ b/src/www/translator/index.html @@ -3,6 +3,7 @@ <title>Simple Translation Tool</title> <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"> <meta name = "viewport" content = "width = device-width"> <meta charset="UTF-8"> </head> @@ -75,15 +76,23 @@ </div> <hr> <div class=modtime><small>HMTL -<!-- hhmts start -->Last modified: Mon Feb 11 16:09:58 CET 2013 <!-- hhmts end --> +<!-- hhmts start -->Last modified: Wed Apr 3 20:29:44 CEST 2013 <!-- hhmts end --> </small></div> <a href="about.html">About</a> <script type="text/javascript" src="../js/support.js"></script> <script type="text/javascript" src="../js/pgf_online.js"></script> -<script type="text/javascript" src="../gfse/cloud2.js"></script> +<script type="text/javascript" src="../js/localstorage.js"></script> <script type="text/javascript" src="../gfse/localstorage.js"></script> +<script type="text/javascript" src="../gfse/cloud2.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="translator.js"></script> + <script type="text/javascript" > var translator = new Translator() </script> |