mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-09 04:59:31 -06:00
gfse: bug fix
Fix a problem opening grammars created before grammar extension was introduced.
This commit is contained in:
@@ -460,7 +460,8 @@ function draw_abstract(g) {
|
||||
var kw_fun = kw("fun");
|
||||
kw_fun.title = "The functions (productions) of the grammar are enumerated here. [C.3.4]";
|
||||
|
||||
var flags=g.abstract.startcat||g.abstract.cats.length>1||g.extends.length>0
|
||||
var flags=g.abstract.startcat || g.abstract.cats.length>1
|
||||
|| g.extends && g.extends.length>0
|
||||
? draw_startcat(g)
|
||||
: text("");
|
||||
function sort_funs() {
|
||||
|
||||
Reference in New Issue
Block a user