diff options
| author | hallgren <hallgren@chalmers.se> | 2011-02-28 16:47:25 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-02-28 16:47:25 +0000 |
| commit | 758e2a031d8866795c4f5e66f73964d16164dd89 (patch) | |
| tree | fb867c2d0073bc6fcf29029fa84b276d3f4e3662 /src/editor/simple/gf_abs.js | |
| parent | 790e086a54bbb94eb06c78eb30733786eb57a377 (diff) | |
gfse: fix missing startcat flag bug + documentation updates
Diffstat (limited to 'src/editor/simple/gf_abs.js')
| -rw-r--r-- | src/editor/simple/gf_abs.js | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/editor/simple/gf_abs.js b/src/editor/simple/gf_abs.js index e40a868bc..bd3db7d93 100644 --- a/src/editor/simple/gf_abs.js +++ b/src/editor/simple/gf_abs.js @@ -151,7 +151,8 @@ function show_grammar(g) { } function show_abstract(g) { - var startcat= g.abstract.cats.length==1 ? g.abstract.cats[0] : g.abstract.startcat; +// var startcat= g.abstract.cats.length==1 ? g.abstract.cats[0] : g.abstract.startcat; + var startcat= g.abstract.startcat || g.abstract.cats[0]; return "abstract "+g.basename+" = {\n\n" +"flags coding = utf8 ;\n\n" +show_startcat(startcat) |