translator: expanatory text for local file import

src/www/translator/about.html

@@ -45,8 +45,8 @@ closed and reopened later. Documents can be saved locally or in the cloud.
 <h2>TODO</h2>
 <ul>
   <li>Text can be imported by copying and pasting and from local files
-  in browsers that support it (Chrome, Firefox and Opera, but not Safari),
-  but other ways could be added.
+  (in browsers that support it, currently Chrome, Firefox and Opera, but
+  not Safari), but other ways could be added.
   <li>Text can be exported by copying and pasting, but other ways could
   be added.
   <li>GF's lexer/unlexer is used to allow for more natural looking text, but
@@ -64,7 +64,7 @@ closed and reopened later. Documents can be saved locally or in the cloud.
 
 <hr>
 <div class=modtime><small>
-<!-- hhmts start --> Last modified: Tue Jun 19 15:54:33 CEST 2012 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Tue Jun 19 16:07:15 CEST 2012 <!-- hhmts end -->
   </small></div>
 <address>
 <a href="http://www.cse.chalmers.se/~hallgren/">TH</a>

src/www/translator/translator.js

@@ -442,7 +442,10 @@ Translator.prototype.import=function(el) {
 	    // Allow import from local files, if the browers supports it.
 	    // See http://www.html5rocks.com/en/tutorials/file/dndfiles/
 	    var files=node("input",{name:"files","type":"file"})
-	    e.insertBefore(files,inp)
+	    var extra=wrap("span",[text("Choose a file: "),
+				   files,
+				   text(" and/or enter text to import below.")])
+	    e.insertBefore(extra,inp)
 	}
 	t.view.appendChild(e)
 	e.onsubmit=done