From 512fbb49e640cc3692fa7724e9c3941ea26afd12 Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Mon, 18 May 2015 13:16:45 +0000
Subject: [PATCH] GF cloud: updated lists of supported RGL languages and some
 minor style updates

---
 src/www/gfse/editor.css | 8 +++++---
 src/www/gfse/editor.js  | 2 +-
 src/www/index.html      | 2 +-
 src/www/js/langcode.js  | 9 ++++++++-
 src/www/wc.html         | 8 +++++++-
 5 files changed, 22 insertions(+), 7 deletions(-)

diff --git a/src/www/gfse/editor.css b/src/www/gfse/editor.css
index c6973f2d5..22805b990 100644
--- a/src/www/gfse/editor.css
+++ b/src/www/gfse/editor.css
@@ -33,9 +33,11 @@ table.extension td { border-left-width: 0; min-width: 30em; }
 
 .slideshow .hidden { display: none; }
 
-img.cloud, img.right, div.right, div.modtime { float: right; }
+img.cloud, img.right, div.right, div.modtime, div.version { float: right; }
 
-.modtime { color: #999; white-space: nowrap; }
+div.modtime >small { visibility: hidden; }
+div.modtime:hover >small { visibility: visible; }
+.modtime,.version { color: #999; white-space: nowrap; }
 
 table.grammar_list { border-collapse: collapse; margin-left: 1.0em; }
 table.grammar_list td { padding: 0.4ex 0.25em; }
@@ -116,7 +118,7 @@ table.tabs input[type=button], table.matrixview th input[type=button] {
 .string_edit { font-family: inherit; font-size: inherit; }
 textarea.string_edit { vertical-align: top; }
 
-ul.languages { -moz-column-width: 20em; }
+ul.languages { -moz-column-width: 10em; }
 
 li { margin-top: 0.5ex; margin-bottom: 0.5ex; }
 
diff --git a/src/www/gfse/editor.js b/src/www/gfse/editor.js
index e4a8f007c..09ae339e4 100644
--- a/src/www/gfse/editor.js
+++ b/src/www/gfse/editor.js
@@ -580,7 +580,7 @@ function lang1(name) {
 // Language names and 3-letter ISO-639 codes
 // See http://en.wikipedia.org/wiki/List_of_ISO_639-1_codes
 var languages =
-    map(lang1,"Amharic Arabic Bulgarian Catalan Chinese Danish Dutch English Finnish French German Greek Hindi Ina/Interlingua Italian Jpn/Japanese Latin Norwegian Polish Ron/Romanian Russian Spanish Swedish Thai Turkish Urdu".split(" "));
+    map(lang1,"Amharic Arabic Bulgarian Catalan Chinese Danish Dutch English Estonian Finnish French German Greek Hindi Ina/Interlingua Italian Jpn/Japanese Latin Mlt/Maltese Mongolian Norwegian Pes/Persian Polish Pnb/Punjabi Ron/Romanian Russian Snd/Sindhi Spanish Swedish Thai Turkish Urdu".split(" "));
 languages.push(lang("Other","Other"));
 
 var langname={};
diff --git a/src/www/index.html b/src/www/index.html
index 6173b4b0c..175e76c1d 100644
--- a/src/www/index.html
+++ b/src/www/index.html
@@ -38,4 +38,4 @@
 <hr>
 
 <a href="http://www.grammaticalframework.org/">www.grammaticalframework.org</a>
-<div class=modtime><small><a href="/version">GF version</a></small></div>
+<div class=version><small><a href="/version">GF version</a></small></div>
diff --git a/src/www/js/langcode.js b/src/www/js/langcode.js
index 16201ed1f..57dce0bfe 100644
--- a/src/www/js/langcode.js
+++ b/src/www/js/langcode.js
@@ -12,7 +12,14 @@ function lang1(namecode2) {
 }
 
 var languages = // [ISO-639-2 code "/"] language name ":" ISO 639-1 code
-    map(lang1,"Amharic:am Arabic:ar Bulgarian:bg Catalan:ca Chinese:zh Danish:da Dutch:nl English:en Finnish:fi French:fr German:de Greek:el Hindi:hi Ina/Interlingua:ia Italian:it Jpn/Japanese:ja Latin:la Norwegian:nb Polish:pl Ron/Romanian:ro Russian:ru Spanish:es Swedish:sv Thai:th Turkish:tr Urdu:ur".split(" "))
+    map(lang1,["Amharic:am","Arabic:ar","Bulgarian:bg","Catalan:ca",
+	       "Chinese:zh","Danish:da","Dutch:nl","English:en","Estonian:et",
+	       "Finnish:fi","French:fr","German:de","Greek:el","Hindi:hi",
+	       "Ina/Interlingua:ia","Italian:it","Jpn/Japanese:ja","Latin:la",
+	       "Norwegian:nb","Pes/Persian:fa","Polish:pl","Pnb/Punjabi:pa",
+	       "Ron/Romanian:ro","Russian:ru","Spanish:es","Swedish:sv",
+	       "Thai:th","Turkish:tr","Urdu:ur"])
+// GF uses nonstd 3-letter codes? Pes/Persian:fa, Pnb/Punjabi:pa
 
 var langname={}
 var langcode2={}
diff --git a/src/www/wc.html b/src/www/wc.html
index b5edef790..06a86a973 100644
--- a/src/www/wc.html
+++ b/src/www/wc.html
@@ -45,6 +45,7 @@ span.inflect { color: blue; }
 <tr><td>
   <select name=from>
     <option value=Bul>Bulgarian</option>
+    <option value=Cat>Catalan</option>
     <option value=Chi>Chinese</option>
     <option value=Dut>Dutch</option>
     <option value=Eng selected>English</option>
@@ -53,8 +54,10 @@ span.inflect { color: blue; }
     <option value=Ger>German</option>
     <option value=Hin>Hindi</option>
     <option value=Ita>Italian</option>
+    <option value=Jpn>Japanese</option>
     <option value=Spa>Spanish</option>
     <option value=Swe>Swedish</option>
+    <option value=Tha>Thai</option>
   </select>
   <input type=button value="Clear" onclick="wc.clear()">
   <td style="text-align: right">
@@ -62,6 +65,7 @@ span.inflect { color: blue; }
   <td>
   <select name=to onchange="wc.translate()">
     <option value=Bul>Bulgarian</option>
+    <option value=Cat>Catalan</option>
     <option value=Chi>Chinese</option>
     <option value=Dut>Dutch</option>
     <option value=Eng>English</option>
@@ -70,8 +74,10 @@ span.inflect { color: blue; }
     <option value=Ger>German</option>
     <option value=Hin>Hindi</option>
     <option value=Ita>Italian</option>
+    <option value=Jpn>Japanese</option>
     <option value=Spa>Spanish</option>
     <option value=Swe selected>Swedish</option>
+    <option value=Tha>Thai</option>
   </select>
   <input name=colors type=checkbox checked onchange="wc.colors()"> Colors
   <td><button name=translate type=submit><strong>Translate</strong></button>
@@ -97,7 +103,7 @@ span.inflect { color: blue; }
   </div>
 <hr>
 <div class=modtime><small>
-<!-- hhmts start -->Last modified: Tue Mar 24 16:59:23 CET 2015 <!-- hhmts end -->
+<!-- hhmts start -->Last modified: Mon May 18 13:38:24 CEST 2015 <!-- hhmts end -->
 </small></div>
 <a href="http://www.grammaticalframework.org/demos/translation.html">About</a>
 <script src="js/support.js"></script>