Changeset 372 for trunk/JFCMonitor


Ignore:
Timestamp:
01/30/12 15:05:42 (12 years ago)
Author:
sherbold
Message:
  • minor refactorings
File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/JFCMonitor/src/de/ugoe/cs/eventbench/jfcmonitor/JFCListener.java

    r371 r372  
    6464 
    6565                if (event instanceof MouseEvent) { 
    66                         MouseEvent mouseEvent = (MouseEvent) event; 
    6766                        if (!isMouseMovement(event.getID())) { 
     67                                MouseEvent mouseEvent = (MouseEvent) event; 
    6868                                builder.append("<event id=\"" + event.getID() + "\">" 
    6969                                                + StringTools.ENDLINE); 
     
    8282                        } 
    8383                } 
    84                 if (event instanceof KeyEvent) { 
    85                         KeyEvent keyEvent = (KeyEvent) event; 
    86                         if (keyEvent.getID() == KeyEvent.KEY_PRESSED 
    87                                         || keyEvent.getID() == KeyEvent.KEY_RELEASED) { 
     84                else if (event instanceof KeyEvent) { 
     85                        if (event.getID() == KeyEvent.KEY_PRESSED 
     86                                        || event.getID() == KeyEvent.KEY_RELEASED) { 
     87                                KeyEvent keyEvent = (KeyEvent) event; 
    8888                                builder.append("<event id=\"" + event.getID() + "\">" 
    8989                                                + StringTools.ENDLINE); 
     
    9797                        } 
    9898                } 
    99                 if (event instanceof FocusEvent) { 
    100                         FocusEvent focusEvent = (FocusEvent) event; 
    101                         if (focusEvent.getID() == FocusEvent.FOCUS_GAINED) { 
     99                else if (event instanceof FocusEvent) { 
     100                        if (event.getID() == FocusEvent.FOCUS_GAINED) { 
    102101                                builder.append("<event id=\"" + event.getID() + "\">" 
    103102                                                + StringTools.ENDLINE); 
Note: See TracChangeset for help on using the changeset viewer.