diff options
Diffstat (limited to 'src')
| -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)]) } |