GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-06-16 21:40:12 -06:00
Code Issues Packages Projects Releases Wiki Activity

GF cloud: updated lists of supported RGL languages and some minor style updates

Browse Source
This commit is contained in:
hallgren
2015-05-18 13:16:45 +00:00
parent 8fbe2178f5
commit 512fbb49e6
5 changed files with 22 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
src/www/gfse/editor.css
View File

@@ -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; }

2
src/www/gfse/editor.js
View File

@@ -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={};