Ignore:
Timestamp:
08/01/19 12:11:21 (5 years ago)
Author:
pharms
Message:

Update to java 11

File:
1 edited

Legend:

Unmodified
Added
Removed

  • trunk/autoquest-jfcmonitor/src/main/java/de/ugoe/cs/autoquest/jfcmonitor/JFCListener.java

    r1001 r2260  
    7777                builder.append(" <param name=\"Button\" value=\"" + mouseEvent.getButton() + 
    7878                    "\" />" + StringTools.ENDLINE); 
    79                 builder.append(" <param name=\"Modifiers\" value=\"" + mouseEvent.getModifiers() + 
     79                builder.append(" <param name=\"Modifiers\" value=\"" + mouseEvent.getModifiersEx() + 
    8080                    "\" />" + StringTools.ENDLINE); 
    8181                addSourceInfo(builder, event); 
    … …  
    9090                builder.append(" <param name=\"KeyCode\" value=\"" + keyEvent.getKeyCode() + 
    9191                    "\" />" + StringTools.ENDLINE); 
    92                 builder.append(" <param name=\"Modifiers\" value=\"" + keyEvent.getModifiers() + 
     92                builder.append(" <param name=\"Modifiers\" value=\"" + keyEvent.getModifiersEx() + 
    9393                    "\" />" + StringTools.ENDLINE); 
    9494                addSourceInfo(builder, event); 
Note: See TracChangeset for help on using the changeset viewer.