merge new infos into existing array instead of replacing the array completely, prevents full tree refresh and scrollbar location loss (fix #342)

src/main/webapp/js/services.js

@@ -208,6 +208,13 @@ function($resource, $http) {
 				callback(data);
 		});
 	};
+	res.refresh = function(callback) {
+		res.get(function(data) {
+			_.merge(res.subscriptions, data);
+			if (callback)
+				callback(data);
+		});
+	};
 
 	res.init();
 	return res;