From 58b172ae81fc6bc9992553cd20b1d837b046d468 Mon Sep 17 00:00:00 2001
From: Mathieu Baudier <mbaudier@argeo.org>
Date: Sun, 17 Dec 2023 07:23:59 +0100
Subject: [PATCH] Clean up server push

---
 .../src/org/argeo/app/ui/widgets/DelayedText.java              | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/swt/org.argeo.app.ui/src/org/argeo/app/ui/widgets/DelayedText.java b/swt/org.argeo.app.ui/src/org/argeo/app/ui/widgets/DelayedText.java
index ecf6639..a22d74b 100644
--- a/swt/org.argeo.app.ui/src/org/argeo/app/ui/widgets/DelayedText.java
+++ b/swt/org.argeo.app.ui/src/org/argeo/app/ui/widgets/DelayedText.java
@@ -50,8 +50,9 @@ public class DelayedText {
 		this.delay = delayInMs;
 		this.modifyListener = new InternalModifyListener();
 		pushSession = new ServerPushSession();
-		pushSession.start();
 		text = new Text(parent, style);
+		pushSession.start();
+		text.addDisposeListener((e) -> pushSession.stop());
 		text.addModifyListener(modifyListener);
 	}
 
-- 
2.30.2