53 |
setName("AWT-EventQueue-" + ++dispatchThreadNum); |
setName("AWT-EventQueue-" + ++dispatchThreadNum); |
54 |
this.queue = queue; |
this.queue = queue; |
55 |
setPriority(NORM_PRIORITY + 1); |
setPriority(NORM_PRIORITY + 1); |
|
start(); |
|
56 |
} |
} |
57 |
|
|
58 |
public void run() |
public void run() |
62 |
try |
try |
63 |
{ |
{ |
64 |
AWTEvent evt = queue.getNextEvent(); |
AWTEvent evt = queue.getNextEvent(); |
|
if (isInterrupted ()) |
|
|
{ |
|
|
// We are interrupted when we should finish executing |
|
|
return; |
|
|
} |
|
65 |
|
|
66 |
KeyboardFocusManager manager; |
KeyboardFocusManager manager; |
67 |
manager = KeyboardFocusManager.getCurrentKeyboardFocusManager (); |
manager = KeyboardFocusManager.getCurrentKeyboardFocusManager (); |