IUIElement deprecated since UIElement is 'enum' Root_start-work-070517 save-head-080117 working-version-070517
authorwneuper
Thu, 17 May 2007 14:05:19 +0200
changeset 38800b0dc38b1106
parent 3879 fc168b595149
child 3881 72f0be16d83b
IUIElement deprecated since UIElement is 'enum'
src/java/isac/useractions/IUIElement.java
     1.1 --- a/src/java/isac/useractions/IUIElement.java	Thu May 17 12:31:32 2007 +0200
     1.2 +++ b/src/java/isac/useractions/IUIElement.java	Thu May 17 14:05:19 2007 +0200
     1.3 @@ -6,10 +6,10 @@
     1.4  
     1.5  /**
     1.6   * @author Alan Krempler
     1.7 - * 
     1.8 + * @deprecated since UIElement became enum
     1.9   * Constants describing interactions or request from the user
    1.10   */
    1.11 -public interface IUIElement {
    1.12 +    public interface IUIElement {
    1.13  
    1.14      /** ***************** NOTIFICATIONS: SPECIFYING PHASE ********************** */
    1.15  
    1.16 @@ -420,4 +420,4 @@
    1.17       */
    1.18      public static final int UI_REQUEST_FOR_ID = 68;
    1.19  
    1.20 -}
    1.21 +    }