From e9e29aab678f0ff6b4939c938ea91f82df2fa435 Mon Sep 17 00:00:00 2001
From: "john.j.camilleri" <john.j.camilleri@chalmers.se>
Date: Tue, 27 Nov 2012 11:21:28 +0000
Subject: [PATCH] Syntax editor: add options for GM in editor_online.js

---
 src/www/syntax-editor/editor_online.js | 10 ++++++++--
 1 file 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);