mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-09 04:59:31 -06:00
Syntax editor/minibar integration fix
This commit is contained in:
@@ -49,7 +49,7 @@ if(window.Editor) // Syntax editor loaded?
|
||||
}
|
||||
}
|
||||
minibar.minibar.style.display="none" // Hide the minibar
|
||||
var gm = new GrammarManager(server);
|
||||
var gm = new GrammarManager(server,editor_options);
|
||||
var editor=new Editor(gm,editor_options)
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user