Scene tree: styling improvements

bin/libs/jstree/jstree.js

@@ -844,6 +844,7 @@
 						$(e.currentTarget).mouseenter();
 						this.element.attr('tabindex', '-1');
 					}, this))
+				/*
 				.on('focus.jstree', $.proxy(function () {
 						if(+(new Date()) - was_click > 500 && !this._data.core.focused) {
 							was_click = 0;
@@ -853,6 +854,7 @@
 							}
 						}
 					}, this))
+				*/
 				.on('mouseenter.jstree', '.jstree-anchor', $.proxy(function (e) {
 						this.hover_node(e.currentTarget);
 					}, this))

bin/style.css

@@ -1065,6 +1065,8 @@ body.hide-subview .lm_controls {
 .jstree {
   background: transparent !important;
   padding-bottom: 40px;
+  outline: none;
+  position: relative;
 }
 .jstree .filtered {
   display: none;

bin/style.less

@@ -1173,6 +1173,8 @@ body.hide-subview {
 .jstree {
 	background:transparent !important;
 	padding-bottom: 40px;
+	outline: none;
+	position: relative;
 
 	.filtered {
 		display: none;

hide/comp/IconTree.hx

@@ -114,7 +114,7 @@ class IconTree<T:{}> extends Component {
 					callb.call(this, makeContent(obj.parent == null ? null : map.get(obj.id)));
 				}
 			},
-			plugins : [ "wholerow", "dnd", "changed" ],
+			plugins : [ "dnd", "changed" ],
 		});
 		element.on("click.jstree", function (event) {
 			var node = new Element(event.target).closest("li");