From 2b835f1dfd5b3e40e280c5001ac58fc1cdb6f041 Mon Sep 17 00:00:00 2001 From: Mathieu Baudier Date: Thu, 17 Feb 2022 08:40:41 +0100 Subject: [PATCH] Documentation --- .../src/org/argeo/app/ui/widgets/DelayedText.java | 12 +----------- 1 file changed, 1 insertion(+), 11 deletions(-) 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) { -- 2.30.2