diff options
| author | hallgren <hallgren@chalmers.se> | 2011-11-21 15:24:29 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-11-21 15:24:29 +0000 |
| commit | d66110f84eec765bb26ebaa716bbce79d6c90913 (patch) | |
| tree | c8b07e3c7233bb6b340d348b34e1409325b0f213 /src/www/gfse/cloud2.js | |
| parent | e9e029d39f5117f233823acc5a2e04f79827529e (diff) | |
gfse: example-based: some usability improvements
Instead of showing nothing, show disabled buttons and some expanatory text to
provide guidance for users getting started with example-based grammar writing.
Diffstat (limited to 'src/www/gfse/cloud2.js')
| -rw-r--r-- | src/www/gfse/cloud2.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/www/gfse/cloud2.js b/src/www/gfse/cloud2.js index 60e57f9ba..8a6f198f3 100644 --- a/src/www/gfse/cloud2.js +++ b/src/www/gfse/cloud2.js @@ -31,10 +31,10 @@ function upload(g) { var form=node("form",{method:"post",action:"/cloud"}, [hidden("dir",dir),hidden("command","make"), hidden(g.basename+".gf",show_abstract(g))]) - var files = [g.basename+".gf"] + //var files = [g.basename+".gf"] for(var i in g.concretes) { var cname=g.basename+g.concretes[i].langcode+".gf"; - files.push(cname); + //files.push(cname); form.appendChild(hidden(cname, show_concrete(g.basename)(g.concretes[i]))); } |