diff options
| author | hallgren <hallgren@chalmers.se> | 2012-10-16 23:06:37 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-10-16 23:06:37 +0000 |
| commit | 7ca6426807653541b08239018d30381a8417a557 (patch) | |
| tree | 1f612c311b6389f6a0dab59ac874e92ec372cd29 | |
| parent | d01e790d95948e972e6531196e8983a7313ddc4e (diff) | |
gfse: small fix
| -rw-r--r-- | src/www/gfse/editor.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/www/gfse/editor.js b/src/www/gfse/editor.js index 105946320..c49b190b3 100644 --- a/src/www/gfse/editor.js +++ b/src/www/gfse/editor.js @@ -734,7 +734,7 @@ function draw_extends(g) { } var w= exts.length>0 ? "more" : "other" function add_exts(el) { return add_extends(g); } - if(g.unique_name) es.push(more(add_exts,"Inherit from "+w+" grammars")) + es.push(more(add_exts,"Inherit from "+w+" grammars")) return indent([extensible(es)]) } |