1  
     2  package com.dmdirc.addons.ui_swing.textpane;
     3  
     4  /**
     5   * Selection event types.
     6   */
         /* 
    P/P   *  Method: void com.dmdirc.addons.ui_swing.textpane.MouseEventType(String, int)
          */
     7  enum MouseEventType {
     8  
     9      /** Mouse clicked. */
             /* 
    P/P       *  Method: com.dmdirc.addons.ui_swing.textpane.MouseEventType__static_init
              * 
              *  Postconditions:
              *    $VALUES == &new MouseEventType[](MouseEventType__static_init#4)
              *    CLICK == &new MouseEventType(MouseEventType__static_init#1)
              *    $VALUES[0] == &new MouseEventType(MouseEventType__static_init#1)
              *    DRAG == &new MouseEventType(MouseEventType__static_init#2)
              *    $VALUES[1] == &new MouseEventType(MouseEventType__static_init#2)
              *    RELEASE == &new MouseEventType(MouseEventType__static_init#3)
              *    $VALUES[2] == &new MouseEventType(MouseEventType__static_init#3)
              *    new MouseEventType(MouseEventType__static_init#1) num objects == 1
              *    new MouseEventType(MouseEventType__static_init#2) num objects == 1
              *    new MouseEventType(MouseEventType__static_init#3) num objects == 1
              *    ...
              */
    10      CLICK, /** Mouse dragged. */
    11      DRAG, /** Mouse released. */
    12      RELEASE
    13  }