From 0ef6f625b305fa71411d86122de83ddcb58f5416 Mon Sep 17 00:00:00 2001
From: nathan <nathangray.bsc+github@gmail.com>
Date: Tue, 8 Nov 2022 11:54:22 -0700
Subject: [PATCH] Filemanager: use pushAvailable() to decide if we need a full
 refresh after deleting a file

---
 filemanager/js/filemanager.ts | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/filemanager/js/filemanager.ts b/filemanager/js/filemanager.ts
index ee7a82e5f2..dac89733c2 100644
--- a/filemanager/js/filemanager.ts
+++ b/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);
 	}