DFL-3575 discard closed windows, use the title from the WindowInfo in the resource tree

Author: p01

src/resource-manager/resource_service.js

@@ -286,6 +286,8 @@ cls.ResourceManagerService = function(view, network_logger)
     this._network_logger.addListener("window-context-added", this._update_bound);
     this._network_logger.addListener("window-context-removed", this._update_bound);
 
+    window.services["window-manager"].addListener('windowclosed', this._update_bound );
+
     this._reset();
   };
 

src/resource-manager/resource_templates.js

@@ -70,14 +70,18 @@ templates.resource_tree =
 
 	window:function(context, w)
 	{
+		var windowInfo = window.window_manager_data.get_window(w.id);
+		if (!windowInfo)
+			return [];
+
 		var extras = this._expandCollapseExtras( context, String(w.id) );
 
 		var tpl =
 			['li',
 				['h2',
 					extras.tpl.button,
 					['span',
-						'windowID '+w.id,
+						windowInfo.title,
 						'class','resource-tree-window-label'
 					],
 					'class','resource-tree-window'