- Timestamp:
- 01/30/12 13:36:37 (12 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/JFCMonitor/src/de/ugoe/cs/eventbench/jfcmonitor/JFCListener.java
r356 r370 4 4 import java.awt.Component; 5 5 import java.awt.event.AWTEventListener; 6 import java.awt.event.FocusEvent; 6 7 import java.awt.event.KeyEvent; 7 8 import java.awt.event.MouseEvent; … … 90 91 } 91 92 } 93 if (event instanceof FocusEvent) { 94 FocusEvent focusEvent = (FocusEvent) event; 95 if( focusEvent.getID() == FocusEvent.FOCUS_GAINED ) { 96 builder.append("<event id=\"" + event.getID() + "\">" + StringTools.ENDLINE); 97 addSourceInfo(builder, event); 98 builder.append("</event>" + StringTools.ENDLINE); 99 } 100 } 92 101 if (builder.length() > 0 && outputWriter != null) { 93 102 try {
Note: See TracChangeset
for help on using the changeset viewer.