equal
deleted
inserted
replaced
133 if (getFirst() != this) { |
133 if (getFirst() != this) { |
134 if (EventQueue.isDispatchThread()) { |
134 if (EventQueue.isDispatchThread()) { |
135 if (Thread.currentThread() instanceof EventDispatchThread) { |
135 if (Thread.currentThread() instanceof EventDispatchThread) { |
136 EventDispatchThread edt = (EventDispatchThread) |
136 EventDispatchThread edt = (EventDispatchThread) |
137 Thread.currentThread(); |
137 Thread.currentThread(); |
138 edt.pumpEvents(SentEvent.ID, new Conditional() { |
138 edt.pumpEvents(ID, () -> !SequencedEvent.this.isFirstOrDisposed()); |
139 public boolean evaluate() { |
|
140 return !SequencedEvent.this.isFirstOrDisposed(); |
|
141 } |
|
142 }); |
|
143 } else { |
139 } else { |
144 if (fxAppThreadIsDispatchThread) { |
140 if (fxAppThreadIsDispatchThread) { |
145 fxCheckSequenceThread.start(); |
141 fxCheckSequenceThread.start(); |
146 try { |
142 try { |
147 // check if event is dispatched or disposed |
143 // check if event is dispatched or disposed |