equal
deleted
inserted
replaced
419 void updateUIWhenHidden() { |
419 void updateUIWhenHidden() { |
420 setUI((InternalFrameUI)UIManager.getUI(this)); |
420 setUI((InternalFrameUI)UIManager.getUI(this)); |
421 invalidate(); |
421 invalidate(); |
422 Component[] children = getComponents(); |
422 Component[] children = getComponents(); |
423 if (children != null) { |
423 if (children != null) { |
424 for(int i = 0; i < children.length; i++) { |
424 for (Component child : children) { |
425 SwingUtilities.updateComponentTreeUI(children[i]); |
425 SwingUtilities.updateComponentTreeUI(child); |
426 } |
426 } |
427 } |
427 } |
428 } |
428 } |
429 |
429 |
430 |
430 |
1533 * @since 1.4 |
1533 * @since 1.4 |
1534 * |
1534 * |
1535 * @see #addInternalFrameListener |
1535 * @see #addInternalFrameListener |
1536 */ |
1536 */ |
1537 public InternalFrameListener[] getInternalFrameListeners() { |
1537 public InternalFrameListener[] getInternalFrameListeners() { |
1538 return (InternalFrameListener[])listenerList.getListeners( |
1538 return listenerList.getListeners(InternalFrameListener.class); |
1539 InternalFrameListener.class); |
|
1540 } |
1539 } |
1541 |
1540 |
1542 // remind: name ok? all one method ok? need to be synchronized? |
1541 // remind: name ok? all one method ok? need to be synchronized? |
1543 /** |
1542 /** |
1544 * Fires an internal frame event. |
1543 * Fires an internal frame event. |
2256 setSize(r.width, r.height); |
2255 setSize(r.width, r.height); |
2257 |
2256 |
2258 invalidate(); |
2257 invalidate(); |
2259 Component[] children = getComponents(); |
2258 Component[] children = getComponents(); |
2260 if (children != null) { |
2259 if (children != null) { |
2261 for(int i = 0; i < children.length; i++) { |
2260 for (Component child : children) { |
2262 SwingUtilities.updateComponentTreeUI(children[i]); |
2261 SwingUtilities.updateComponentTreeUI(child); |
2263 } |
2262 } |
2264 } |
2263 } |
2265 } |
2264 } |
2266 |
2265 |
2267 /** |
2266 /** |