From a22a419bc7ea0dc45f9965e6ffebf42417212d52 Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Wed, 3 Apr 2013 20:24:57 +0000
Subject: Simple Translation Tool: initial support for editing source segments
 in the minibar

---
 src/www/translator/index.html | 13 +++++++++++--
 1 file changed, 11 insertions(+), 2 deletions(-)

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

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>
-- 
cgit v1.2.3