# HG changeset patch
# User wneuper
# Date 1179403519 -7200
# Node ID 0b0dc38b1106d1f561460cc25d4abff48083e515
# Parent  fc168b595149b43fa67261a75f313a6a7cede6cc
IUIElement deprecated since UIElement is 'enum'

diff -r fc168b595149 -r 0b0dc38b1106 src/java/isac/useractions/IUIElement.java
--- a/src/java/isac/useractions/IUIElement.java	Thu May 17 12:31:32 2007 +0200
+++ b/src/java/isac/useractions/IUIElement.java	Thu May 17 14:05:19 2007 +0200
@@ -6,10 +6,10 @@
 
 /**
  * @author Alan Krempler
- * 
+ * @deprecated since UIElement became enum
  * Constants describing interactions or request from the user
  */
-public interface IUIElement {
+    public interface IUIElement {
 
     /** ***************** NOTIFICATIONS: SPECIFYING PHASE ********************** */
 
@@ -420,4 +420,4 @@
      */
     public static final int UI_REQUEST_FOR_ID = 68;
 
-}
+    }