equal
deleted
inserted
replaced
206 wakeupEDT(); |
206 wakeupEDT(); |
207 } |
207 } |
208 } |
208 } |
209 }, interval); |
209 }, interval); |
210 } |
210 } |
211 // Dispose SequencedEvent we are dispatching on the the current |
211 // Dispose SequencedEvent we are dispatching on the current |
212 // AppContext, to prevent us from hang - see 4531693 for details |
212 // AppContext, to prevent us from hang - see 4531693 for details |
213 SequencedEvent currentSE = KeyboardFocusManager. |
213 SequencedEvent currentSE = KeyboardFocusManager. |
214 getCurrentKeyboardFocusManager().getCurrentSequencedEvent(); |
214 getCurrentKeyboardFocusManager().getCurrentSequencedEvent(); |
215 if (currentSE != null) { |
215 if (currentSE != null) { |
216 if (log.isLoggable(PlatformLogger.Level.FINE)) { |
216 if (log.isLoggable(PlatformLogger.Level.FINE)) { |
218 } |
218 } |
219 currentSE.dispose(); |
219 currentSE.dispose(); |
220 } |
220 } |
221 // In case the exit() method is called before starting |
221 // In case the exit() method is called before starting |
222 // new event pump it will post the waking event to EDT. |
222 // new event pump it will post the waking event to EDT. |
223 // The event will be handled after the the new event pump |
223 // The event will be handled after the new event pump |
224 // starts. Thus, the enter() method will not hang. |
224 // starts. Thus, the enter() method will not hang. |
225 // |
225 // |
226 // Event pump should be privileged. See 6300270. |
226 // Event pump should be privileged. See 6300270. |
227 AccessController.doPrivileged(new PrivilegedAction<Void>() { |
227 AccessController.doPrivileged(new PrivilegedAction<Void>() { |
228 public Void run() { |
228 public Void run() { |