Merge branch 'pentool' into brushtool

Conflicts:
	imports/codemirror/mode/scheme/scheme.js
	js/tools/BrushTool.js

1 files changed, 12 insertions, 0 deletions

diff --git a/js/components/ui/tree-basic/tree.reel/tree.js b/js/components/ui/tree-basic/tree.reel/tree.js
index 67fa20e5..d507eee5 100644..100755
--- a/js/components/ui/tree-basic/tree.reel/tree.js
+++ b/js/components/ui/tree-basic/tree.reel/tree.js
@@ -21,6 +21,18 @@ exports.Tree = Montage.create(Component, {
         value:true
     },
 
+    expandTreeAfterDraw:{
+        writable:true,
+        enumerable:true,
+        value:false
+    },
+
+    highlightedUri:{
+        writable:true,
+        enumerable:true,
+        value:null
+    },
+
     willDraw: {
         enumerable: false,
         value: function() {