From 7ca6426807653541b08239018d30381a8417a557 Mon Sep 17 00:00:00 2001 From: hallgren Date: Tue, 16 Oct 2012 23:06:37 +0000 Subject: [PATCH] gfse: small fix --- src/www/gfse/editor.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)]) }