| commit | 173197faaff23380bd5657d700e6b060d6d43a74 | [log] [tgz] |
|---|---|---|
| author | serb <none@none> | Wed Oct 23 16:24:50 2013 +0400 |
| committer | serb <none@none> | Wed Oct 23 16:24:50 2013 +0400 |
| tree | 7d04a2229e0d3faab4bc6f055278bbed245f282f | |
| parent | 39900626e2dc385ce6e836f7153f6cf863655e31 [diff] |
8020851: java.awt.event.WindowEvent spec should state that WINDOW_CLOSED event may not be delivered under certain circumstances Reviewed-by: anthony, art