summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/www/syntax-editor/editor_online.js10
1 files changed, 8 insertions, 2 deletions
diff --git a/src/www/syntax-editor/editor_online.js b/src/www/syntax-editor/editor_online.js
index 56e8a9de3..2fe6f7a43 100644
--- a/src/www/syntax-editor/editor_online.js
+++ b/src/www/syntax-editor/editor_online.js
@@ -14,6 +14,13 @@ var editor_options = {
random_button: true
}
}
+var gm_options = {
+ initial: {
+ // grammar: "http://localhost:41296/grammars/Smart.pgf",
+ // startcat: "Command",
+ // languages: ["Eng","Swe"]
+ }
+}
if(window.Minibar) // Minibar loaded?
editor_options.lin_action=function(s,langFrom) {
var editor=this;
@@ -53,7 +60,6 @@ if(/^\?\/tmp\//.test(location.search)) {
if(args[0]) server_options.grammars_url=args[0];
}
var server = pgf_online(server_options);
-// var editor = new Editor(server, editor_options);
-var gm = new GrammarManager(server);
+var gm = new GrammarManager(server, gm_options);
var editor = new Editor(gm, editor_options);