From: Mathieu Baudier <mbaudier@argeo.org>
Date: Sun, 17 Dec 2023 06:23:59 +0000 (+0100)
Subject: Clean up server push
X-Git-Tag: v2.3.22~2
X-Git-Url: https://git.argeo.org/?p=gpl%2Fargeo-suite.git;a=commitdiff_plain;h=58b172ae81fc6bc9992553cd20b1d837b046d468

Clean up server push
---

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);
 	}