8020851: java.awt.event.WindowEvent spec should state that WINDOW_CLOSED event may not be delivered under certain circumstances
Reviewed-by: anthony, art
--- a/jdk/src/share/classes/java/awt/event/WindowEvent.java Tue Oct 22 16:45:08 2013 +0400
+++ b/jdk/src/share/classes/java/awt/event/WindowEvent.java Wed Oct 23 16:24:50 2013 +0400
@@ -79,8 +79,10 @@
@Native public static final int WINDOW_CLOSING = 1 + WINDOW_FIRST; //Event.WINDOW_DESTROY
/**
- * The window closed event. This event is delivered after
- * the window has been closed as the result of a call to dispose.
+ * The window closed event. This event is delivered after the displayable
+ * window has been closed as the result of a call to dispose.
+ * @see java.awt.Component#isDisplayable
+ * @see Window#dispose
*/
@Native public static final int WINDOW_CLOSED = 2 + WINDOW_FIRST;