From: Mathieu Baudier <mbaudier@argeo.org>
Date: Thu, 17 Feb 2022 07:40:41 +0000 (+0100)
Subject: Documentation
X-Git-Tag: argeo-suite-2.3.3~13
X-Git-Url: https://git.argeo.org/?p=gpl%2Fargeo-suite.git;a=commitdiff_plain;h=2b835f1dfd5b3e40e280c5001ac58fc1cdb6f041

Documentation
---

diff --git a/org.argeo.app.ui/src/org/argeo/app/ui/widgets/DelayedText.java b/org.argeo.app.ui/src/org/argeo/app/ui/widgets/DelayedText.java
index 3b58776..1eab6d6 100644
--- a/org.argeo.app.ui/src/org/argeo/app/ui/widgets/DelayedText.java
+++ b/org.argeo.app.ui/src/org/argeo/app/ui/widgets/DelayedText.java
@@ -55,16 +55,6 @@ public class DelayedText {
 						public void run() {
 							synchronized (lock) {
 								delayedModifyListener.modifyText(timerModifyEvent);
-								// Bad approach: it is not a good idea to put a
-								// display.asyncExec in a lock...
-								// DelayedText.this.getDisplay().asyncExec(new
-								// Runnable() {
-								// @Override
-								// public void run() {
-								// delayedModifyListener.modifyText(timerModifyEvent);
-								// }
-								// }
-								// );
 							}
 							synchronized (timer) {
 								timer.timerTask = null;
@@ -88,7 +78,7 @@ public class DelayedText {
 
 	/**
 	 * Adds a modify text listener that will be delayed. If another Modify event
-	 * happens during the waiting delay, the older event will be canceled an a new
+	 * happens during the waiting delay, the older event will be cancelled an a new
 	 * one will be scheduled after another new delay.
 	 */
 	public void addDelayedModifyListener(ServerPushSession pushSession, ModifyListener listener) {