Ignore:
Timestamp:
01/30/12 14:07:12 (13 years ago)
Author:
sherbold
Message:
  • JFCMonitor monitors KEY_PRESSED and KEY_RELEASED instead of KEY_TYPED events, because of various drawbacks of key typed (does not receive all inputs, like pressing enter and the events only offer the actual char pressed, not its virtual code, which leads to all kinds of problems, e.g., in case of backspace)
Location:
trunk/JFCMonitor/src/de/ugoe/cs/eventbench/jfcmonitor
Files:
2 edited

Legend:

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

    r370 r371  
    6666                        MouseEvent mouseEvent = (MouseEvent) event; 
    6767                        if (!isMouseMovement(event.getID())) { 
    68                                 builder.append("<event id=\"" + event.getID() + "\">" + StringTools.ENDLINE); 
     68                                builder.append("<event id=\"" + event.getID() + "\">" 
     69                                                + StringTools.ENDLINE); 
    6970                                builder.append(" <param name=\"X\" value=\"" 
    7071                                                + mouseEvent.getX() + "\" />" + StringTools.ENDLINE); 
     
    7273                                                + mouseEvent.getY() + "\" />" + StringTools.ENDLINE); 
    7374                                builder.append(" <param name=\"Button\" value=\"" 
    74                                                 + mouseEvent.getButton() + "\" />" + StringTools.ENDLINE); 
     75                                                + mouseEvent.getButton() + "\" />" 
     76                                                + StringTools.ENDLINE); 
    7577                                builder.append(" <param name=\"Modifiers\" value=\"" 
    76                                                 + mouseEvent.getModifiers() + "\" />" + StringTools.ENDLINE); 
     78                                                + mouseEvent.getModifiers() + "\" />" 
     79                                                + StringTools.ENDLINE); 
    7780                                addSourceInfo(builder, event); 
    7881                                builder.append("</event>" + StringTools.ENDLINE); 
     
    8184                if (event instanceof KeyEvent) { 
    8285                        KeyEvent keyEvent = (KeyEvent) event; 
    83                         if (keyEvent.getID() == KeyEvent.KEY_TYPED) { 
    84                                 builder.append("<event id=\"" + event.getID() + "\">" + StringTools.ENDLINE); 
     86                        if (keyEvent.getID() == KeyEvent.KEY_PRESSED 
     87                                        || keyEvent.getID() == KeyEvent.KEY_RELEASED) { 
     88                                builder.append("<event id=\"" + event.getID() + "\">" 
     89                                                + StringTools.ENDLINE); 
    8590                                builder.append(" <param name=\"KeyCode\" value=\"" 
    8691                                                + keyEvent.getKeyCode() + "\" />" + StringTools.ENDLINE); 
    8792                                builder.append(" <param name=\"Modifiers\" value=\"" 
    88                                                 + keyEvent.getModifiers() + "\" />" + StringTools.ENDLINE); 
     93                                                + keyEvent.getModifiers() + "\" />" 
     94                                                + StringTools.ENDLINE); 
    8995                                addSourceInfo(builder, event); 
    9096                                builder.append("</event>" + StringTools.ENDLINE); 
     
    9399                if (event instanceof FocusEvent) { 
    94100                        FocusEvent focusEvent = (FocusEvent) event; 
    95                         if( focusEvent.getID() == FocusEvent.FOCUS_GAINED ) { 
    96                                 builder.append("<event id=\"" + event.getID() + "\">" + StringTools.ENDLINE); 
     101                        if (focusEvent.getID() == FocusEvent.FOCUS_GAINED) { 
     102                                builder.append("<event id=\"" + event.getID() + "\">" 
     103                                                + StringTools.ENDLINE); 
    97104                                addSourceInfo(builder, event); 
    98105                                builder.append("</event>" + StringTools.ENDLINE); 
  • trunk/JFCMonitor/src/de/ugoe/cs/eventbench/jfcmonitor/Runner.java

    r370 r371  
    7878                                Toolkit.getDefaultToolkit().addAWTEventListener(listenerStdOut, 
    7979                                                AWTEvent.MOUSE_EVENT_MASK); 
     80                                Toolkit.getDefaultToolkit().addAWTEventListener(listenerStdOut, 
     81                                                FocusEvent.FOCUS_EVENT_MASK); 
    8082                        } catch (UnsupportedEncodingException e) { 
    8183                                System.err 
Note: See TracChangeset for help on using the changeset viewer.