projects
/
gpl
/
argeo-suite.git
/ blobdiff
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Clean up server push
[gpl/argeo-suite.git]
/
swt
/
org.argeo.app.ui
/
src
/
org
/
argeo
/
app
/
ui
/
widgets
/
DelayedText.java
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 ecf66396868364ba893c187a5dbf0014babe04bd..a22d74b4a40d6b8b59ddd0dfb5ff10dd0b784803 100644
(file)
--- 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();
this.delay = delayInMs;
this.modifyListener = new InternalModifyListener();
pushSession = new ServerPushSession();
- pushSession.start();
text = new Text(parent, style);
text = new Text(parent, style);
+ pushSession.start();
+ text.addDisposeListener((e) -> pushSession.stop());
text.addModifyListener(modifyListener);
}
text.addModifyListener(modifyListener);
}