# HG changeset patch
# User serb
# Date 1382531090 -14400
# Node ID 4113e17e5db30a1783bca6d0657addf8c84e4fa2
# Parent  b3298f607368f6fd56f099fd6899c5280d2a650a
8020851: java.awt.event.WindowEvent spec should state that WINDOW_CLOSED event may not be delivered under certain circumstances
Reviewed-by: anthony, art

diff -r b3298f607368 -r 4113e17e5db3 jdk/src/share/classes/java/awt/event/WindowEvent.java
--- 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;