diff options
| author | hallgren <hallgren@chalmers.se> | 2012-02-09 18:00:36 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-02-09 18:00:36 +0000 |
| commit | 9dfab3d1878b96dc138387adb5ef3df593dff29e (patch) | |
| tree | 9b1ec3f424d9bfcb998933d7c5d3f82e90bf0a93 /src/www/gfse/cloud.js | |
| parent | 7787c5d725bcd7c593d749364c5d4c9d12578571 (diff) | |
gfse: initial support for module extension
There is a new way to create a new grammar based on an existing grammar:
by extending it. (It is also possible to clone an existing grammar, a before.)
Diffstat (limited to 'src/www/gfse/cloud.js')
| -rw-r--r-- | src/www/gfse/cloud.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/www/gfse/cloud.js b/src/www/gfse/cloud.js index f19b6ee37..18cbaae9f 100644 --- a/src/www/gfse/cloud.js +++ b/src/www/gfse/cloud.js @@ -24,7 +24,7 @@ function upload(g) { [hidden(g.basename+".gf",show_abstract(g))]) for(var i in g.concretes) form.appendChild(hidden(g.basename+g.concretes[i].langcode+".gf", - show_concrete(g.basename)(g.concretes[i]))); + show_concrete(g)(g.concretes[i]))); editor.appendChild(form); form.submit(); form.parentNode.removeChild(form); |
