Fix for Issue 32. Paste option should not be available after Paste Command is execute...
[pithos] / src / gr / ebs / gss / client / DisplayHelper.java
index 6ad59a8..f60d14c 100644 (file)
@@ -82,6 +82,8 @@ public class DisplayHelper {
                var logger = $wnd.console;
                if (logger && logger.debug)
                        logger.debug(message);
                var logger = $wnd.console;
                if (logger && logger.debug)
                        logger.debug(message);
+               else if (logger && logger.log)
+                       logger.log(message);
        }-*/;
 
        /**
        }-*/;
 
        /**