mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-05-07 18:22:50 -06:00
minibar_online.js: updated to launch Editor using a GrammarManager object
This commit is contained in:
@@ -49,7 +49,8 @@ if(window.Editor) // Syntax editor loaded?
|
||||
}
|
||||
}
|
||||
minibar.minibar.style.display="none" // Hide the minibar
|
||||
var editor=new Editor(server,editor_options)
|
||||
var gm = new GrammarManager(server);
|
||||
var editor=new Editor(gm,editor_options)
|
||||
}
|
||||
|
||||
if(/^\?\/tmp\//.test(location.search)) {
|
||||
|
||||
Reference in New Issue
Block a user