311 |
|
|
312 |
KeyboardFocusManager manager = KeyboardFocusManager.getCurrentKeyboardFocusManager (); |
KeyboardFocusManager manager = KeyboardFocusManager.getCurrentKeyboardFocusManager (); |
313 |
manager.setGlobalFocusedWindow (this); |
manager.setGlobalFocusedWindow (this); |
314 |
|
|
315 |
|
synchronized (getTreeLock()) |
316 |
|
{ |
317 |
if (!shown) |
if (!shown) |
318 |
{ |
{ |
319 |
FocusTraversalPolicy policy = getFocusTraversalPolicy (); |
FocusTraversalPolicy policy = getFocusTraversalPolicy (); |
327 |
|
|
328 |
shown = true; |
shown = true; |
329 |
} |
} |
330 |
|
} |
331 |
} |
} |
332 |
|
|
333 |
public void hide() |
public void hide() |