preserve scrollTop position in the ResourceTree

p01 · p01 · commit ea6cb4286a0c · 2012-09-26T13:34:46.000+02:00
diff --git a/src/resource-manager/resource_tree_view.js b/src/resource-manager/resource_tree_view.js
@@ -28,6 +28,7 @@ cls.ResourceTreeView = function(id, name, container_class, html, default_handler
   {
     var service = this._service;
     var ctx = this._service.get_resource_context();
+    var scrollTop = container.firstElementChild?container.firstElementChild.scrollTop:0;
 
     if (ctx )//&& ctx.resourcesDict && Object.keys(ctx.resourcesDict).length)
     {
@@ -55,6 +56,8 @@ cls.ResourceTreeView = function(id, name, container_class, html, default_handler
         ]
       );
     }
+
+    container.firstElementChild.scrollTop = scrollTop;
 	};
 
   this.create_disabled_view = function(container)

Original file line number	Diff line number	Diff line change
`@@ -28,6 +28,7 @@ cls.ResourceTreeView = function(id, name, container_class, html, default_handler`
`28`	`28`	`{`
`29`	`29`	`var service = this._service;`
`30`	`30`	`var ctx = this._service.get_resource_context();`
	`31`	`+ var scrollTop = container.firstElementChild?container.firstElementChild.scrollTop:0;`
`31`	`32`
`32`	`33`	`if (ctx )//&& ctx.resourcesDict && Object.keys(ctx.resourcesDict).length)`
`33`	`34`	`{`
`@@ -55,6 +56,8 @@ cls.ResourceTreeView = function(id, name, container_class, html, default_handler`
`55`	`56`	`]`
`56`	`57`	`);`
`57`	`58`	`}`
	`59`	`+`
	`60`	`+ container.firstElementChild.scrollTop = scrollTop;`
`58`	`61`	`};`
`59`	`62`
`60`	`63`	`this.create_disabled_view = function(container)`