From 904e8029fea4436290fc79d5fabc782386cee19b Mon Sep 17 00:00:00 2001
From: "john.j.camilleri" <john.j.camilleri@chalmers.se>
Date: Fri, 7 Dec 2012 12:55:17 +0000
Subject: Syntax editor: various small improvements...

- separate tree edit buttons from option buttons
- fix bug when wrapping on freshly imported ast
- add interface for import & export of ast
- cleaner internal implementation of Editor.add_refinement
- small style updates
---
 src/www/syntax-editor/ast.js | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'src/www/syntax-editor/ast.js')

diff --git a/src/www/syntax-editor/ast.js b/src/www/syntax-editor/ast.js
index 89bdcf5c4..026452697 100644
--- a/src/www/syntax-editor/ast.js
+++ b/src/www/syntax-editor/ast.js
@@ -183,9 +183,11 @@ function AST(fun, cat) {
         var lid = Array.clone(id.get()); // clone NodeID array
         var node = this.root;
 
-        if (lid.length==1)
+        if (lid.length==1) {
             // Insert at root
             this.root = new ASTNode(subtree);
+            this.currentNode = this.root;
+        }
         else {
             lid.shift(); // throw away root
             while (lid.length>1 && node.hasChildren()) {
@@ -297,6 +299,7 @@ function AST(fun, cat) {
 // (This probably needs a better home)
 AST.parse_type_signature = function(str) {
     var obj = {
+        signature: str,
         type: undefined,
         name: [],
         deps: [],
-- 
cgit v1.2.3