mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-09 04:59:31 -06:00
Fixed a problem with minibar when invoked from gfse or the syntax editor
Minibar needs js/langcode.js now, so need to include it in gfse/index.html and syntax-exitor/editor.html too.
This commit is contained in:
@@ -571,17 +571,20 @@ function quiz_button(g,err_ind) {
|
||||
}
|
||||
|
||||
|
||||
function lang(code,name) { return { code:code, name:name} }
|
||||
function lang1(name) {
|
||||
var ws=name.split("/");
|
||||
return ws.length==1 ? lang(name.substr(0,3),name) : lang(ws[0],ws[1]);
|
||||
}
|
||||
|
||||
// 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 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"));
|
||||
function() {
|
||||
function lang(code,name) { return { code:code, name:name} }
|
||||
function lang1(name) {
|
||||
var ws=name.split("/");
|
||||
return ws.length==1 ? lang(name.substr(0,3),name) : lang(ws[0],ws[1]);
|
||||
}
|
||||
|
||||
// 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 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"));
|
||||
return languages
|
||||
}()
|
||||
|
||||
var langname={};
|
||||
for(var i in languages)
|
||||
|
||||
@@ -34,7 +34,7 @@ This page does not work without JavaScript.
|
||||
<hr>
|
||||
<div class=modtime><small>
|
||||
HTML
|
||||
<!-- hhmts start -->Last modified: Tue Apr 23 14:05:30 CEST 2013 <!-- hhmts end -->
|
||||
<!-- hhmts start -->Last modified: Thu May 21 09:47:39 CEST 2015 <!-- hhmts end -->
|
||||
</small></div>
|
||||
<a href="about.html">About</a>
|
||||
<pre id=debug></pre>
|
||||
@@ -42,6 +42,7 @@ HTML
|
||||
<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/localstorage.js"></script>
|
||||
<script type="text/JavaScript" src="../js/langcode.js"></script>
|
||||
|
||||
<script type="text/javascript" src="localstorage.js"></script>
|
||||
<script type="text/javascript" src="gf_abs.js"></script>
|
||||
|
||||
@@ -1,25 +1,31 @@
|
||||
// Language names and ISO-639 codes (both 3-letter and 2-letter codes)
|
||||
// See http://en.wikipedia.org/wiki/List_of_ISO_639-1_codes
|
||||
|
||||
function lang1(namecode2) {
|
||||
function lang(code,name,code2) {return {code:code, name:name, code2:code2}}
|
||||
var nc=namecode2.split(":")
|
||||
var name=nc[0]
|
||||
var ws=name.split("/")
|
||||
var code2=nc.length>1 ? nc[1] : ""
|
||||
return ws.length==1 ? lang(name.substr(0,3),name,code2)
|
||||
: lang(ws[0],ws[1],code2)
|
||||
}
|
||||
var languages =
|
||||
function() {
|
||||
function lang1(namecode2) {
|
||||
function lang(code,name,code2) {
|
||||
return {code:code, name:name, code2:code2}
|
||||
}
|
||||
var nc=namecode2.split(":")
|
||||
var name=nc[0]
|
||||
var ws=name.split("/")
|
||||
var code2=nc.length>1 ? nc[1] : ""
|
||||
return ws.length==1 ? lang(name.substr(0,3),name,code2)
|
||||
: lang(ws[0],ws[1],code2)
|
||||
}
|
||||
|
||||
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","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
|
||||
return map(lang1,
|
||||
// [ISO-639-2 code "/"] language name ":" ISO 639-1 code
|
||||
["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={}
|
||||
|
||||
@@ -26,6 +26,7 @@
|
||||
<script type="text/javascript" src="../js/support.js"></script>
|
||||
<script type="text/JavaScript" src="../js/localstorage.js"></script>
|
||||
<script type="text/javascript" src="../js/pgf_online.js"></script>
|
||||
<script type="text/JavaScript" src="../js/langcode.js"></script>
|
||||
|
||||
<!-- Editor -->
|
||||
<script type="text/javascript" src="ast.js"></script>
|
||||
|
||||
Reference in New Issue
Block a user