Changeset 2260 for trunk/autoquest-jfcmonitor/src

Timestamp:

08/01/19 12:11:21 (5 years ago)

Author:

pharms

Message:

Update to java 11

File:

• trunk/autoquest-jfcmonitor/src/main/java/de/ugoe/cs/autoquest/jfcmonitor/JFCListener.java (modified) (2 diffs)

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

@@ -77 +77 @@
                 builder.append(" <param name=\"Button\" value=\"" + mouseEvent.getButton() +
                     "\" />" + StringTools.ENDLINE);
-                builder.append(" <param name=\"Modifiers\" value=\"" + mouseEvent.getModifiers() +
+                builder.append(" <param name=\"Modifiers\" value=\"" + mouseEvent.getModifiersEx() +
                     "\" />" + StringTools.ENDLINE);
                 addSourceInfo(builder, event);
@@ -90 +90 @@
                 builder.append(" <param name=\"KeyCode\" value=\"" + keyEvent.getKeyCode() +
                     "\" />" + StringTools.ENDLINE);
-                builder.append(" <param name=\"Modifiers\" value=\"" + keyEvent.getModifiers() +
+                builder.append(" <param name=\"Modifiers\" value=\"" + keyEvent.getModifiersEx() +
                     "\" />" + StringTools.ENDLINE);
                 addSourceInfo(builder, event);