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 3b5877656275bb2ba4188fa0759eb8c4720165c5..1eab6d6a9c359a92a9a5a33b6c4683069cf4541f 100644 (file)
--- 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);
                                                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;
                                                        }
                                                        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
 
        /**
         * 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) {
         * one will be scheduled after another new delay.
         */
        public void addDelayedModifyListener(ServerPushSession pushSession, ModifyListener listener) {