Filemanager: use pushAvailable() to decide if we need a full refresh after deleting a file

filemanager/js/filemanager.ts

@@ -822,6 +822,12 @@ export class filemanagerAPP extends EgwApp
 	 */
 	_do_action_callback(_data)
 	{
+		if(_data.action == "delete" && this.egw.pushAvailable())
+		{
+			// No need to refresh, push will handle it
+			this.egw.message(_data.msg)
+			return;
+		}
 		window.egw_refresh(_data.msg, this.appname, undefined, undefined, undefined, undefined, undefined, _data.type);
 	}