X-Git-Url: https://git.argeo.org/?a=blobdiff_plain;f=swt%2Forg.argeo.app.ui%2Fsrc%2Forg%2Fargeo%2Fapp%2Fui%2Fwidgets%2FDelayedText.java;h=a22d74b4a40d6b8b59ddd0dfb5ff10dd0b784803;hb=6cfd61f49a9ff690c159067b5464e4378283fe23;hp=ecf66396868364ba893c187a5dbf0014babe04bd;hpb=d917d2b10162a29cddaf8c81c362efa37abcaab9;p=gpl%2Fargeo-suite.git

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