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

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