1 files changed, 3 insertions, 3 deletions
diff --git a/src/www/minibar/minibar_online.js b/src/www/minibar/minibar_online.js
index b1c1ad86f..bf3f3f6de 100644
--- a/src/www/minibar/minibar_online.js
+++ b/src/www/minibar/minibar_online.js
@@ -19,20 +19,20 @@ var minibar_options= {
     try_google: true
 }
 
-/*
+
 if(window.Editor) // Syntax editor loaded?
     minibar_options.abstract_action=function(tree) {
 	var editor_options = {
 	    target: "editor",
 	    initial: { grammar: minibar.grammar_menu.value, // hmm
 		       startcat: minibar.input.startcat_menu.value, // hmm
-		       ast: tree
+		       abstr: tree
 		     }
 	}
 	minibar.minibar.style.display="none"
 	minibar.editor=new Editor(server,editor_options)
     }
-*/
+
 if(/^\?\/tmp\//.test(location.search)) {
     var args=decodeURIComponent(location.search.substr(1)).split(" ")
     if(args[0]) online_options.grammars_url=args[0];