forked from GitHub/gf-core
Syntax editor: add options for GM in editor_online.js
This commit is contained in:
@@ -14,6 +14,13 @@ var editor_options = {
|
|||||||
random_button: true
|
random_button: true
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
var gm_options = {
|
||||||
|
initial: {
|
||||||
|
// grammar: "http://localhost:41296/grammars/Smart.pgf",
|
||||||
|
// startcat: "Command",
|
||||||
|
// languages: ["Eng","Swe"]
|
||||||
|
}
|
||||||
|
}
|
||||||
if(window.Minibar) // Minibar loaded?
|
if(window.Minibar) // Minibar loaded?
|
||||||
editor_options.lin_action=function(s,langFrom) {
|
editor_options.lin_action=function(s,langFrom) {
|
||||||
var editor=this;
|
var editor=this;
|
||||||
@@ -53,7 +60,6 @@ if(/^\?\/tmp\//.test(location.search)) {
|
|||||||
if(args[0]) server_options.grammars_url=args[0];
|
if(args[0]) server_options.grammars_url=args[0];
|
||||||
}
|
}
|
||||||
var server = pgf_online(server_options);
|
var server = pgf_online(server_options);
|
||||||
// var editor = new Editor(server, editor_options);
|
var gm = new GrammarManager(server, gm_options);
|
||||||
var gm = new GrammarManager(server);
|
|
||||||
var editor = new Editor(gm, editor_options);
|
var editor = new Editor(gm, editor_options);
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user