src/share/classes/java/awt/KeyboardFocusManager.java

Print this page

        

*** 2489,2499 **** // acceptable value. if (hwFocusRequest == HeavyweightFocusRequest.CLEAR_GLOBAL_FOCUS_OWNER) { int size = heavyweightRequests.size(); ! hwFocusRequest = (HeavyweightFocusRequest)((size >= 2) ? heavyweightRequests.get(size - 2) : null); } if (focusedWindowChanged(heavyweight, (hwFocusRequest != null) --- 2489,2499 ---- // acceptable value. if (hwFocusRequest == HeavyweightFocusRequest.CLEAR_GLOBAL_FOCUS_OWNER) { int size = heavyweightRequests.size(); ! hwFocusRequest = (size >= 2 ? heavyweightRequests.get(size - 2) : null); } if (focusedWindowChanged(heavyweight, (hwFocusRequest != null)