jdk/src/share/classes/java/awt/DefaultKeyboardFocusManager.java
changeset 17893 a34977112c8b
parent 16839 d0f2e97b7359
child 18178 ee71c923891d
child 18128 3492cc60d273
--- a/jdk/src/share/classes/java/awt/DefaultKeyboardFocusManager.java	Thu May 30 18:23:21 2013 +0400
+++ b/jdk/src/share/classes/java/awt/DefaultKeyboardFocusManager.java	Thu May 30 18:31:33 2013 +0400
@@ -559,6 +559,7 @@
                         } else {
                             restoreFocus(fe, newFocusedWindow);
                         }
+                        setMostRecentFocusOwner(newFocusedWindow, null); // see: 8013773
                     }
                     break;
                 }