+2004-01-16 Fernando Nasser <fnasser@redhat.com>
+
+ * java/awt/EventDispatchThread.java (run): Stop running when
+ interrupted.
+ * java/awt/EventQueue.java (pop): Stop dispatch thread when done.
+ Reset the queue after transferring its contents.
+ (push): Start a new dispatch thread if none is running.
+
2004-01-16 Olga Rodimina <rodimina@redhat.com>
* gnu/java/awt/peer/gtk/GdkGraphics2D.java:
try
{
AWTEvent evt = queue.getNextEvent();
+ if (isInterrupted ())
+ {
+ // We are interrupted when we should finish executing
+ return;
+ }
queue.dispatchEvent(evt);
}
+ catch (InterruptedException ie)
+ {
+ // We are interrupted when we should finish executing
+ return;
+ }
catch (Throwable x)
{
System.err.println("Exception during event dispatch:");
/**
* Allows a custom EventQueue implementation to replace this one.
* All pending events are transferred to the new queue. Calls to postEvent,
- * getNextEvent, and peekEvent are forwarded to the pushed queue until it
- * is removed with a pop().
+ * getNextEvent, and peekEvent and others are forwarded to the pushed queue
+ * until it is removed with a pop().
*
* @exception NullPointerException if newEventQueue is null.
*/
return;
}
+ /* Make sure we have a live dispatch thread to drive the queue */
+ if (dispatchThread == null)
+ dispatchThread = new EventDispatchThread(this);
+
int i = next_out;
while (i != next_in)
{
if (++i == queue.length)
i = 0;
}
+ // Empty the queue so it can be reused
+ next_in = 0;
+ next_out = 0;
+
+ // Tell our EventDispatchThread that it can end execution
+ dispatchThread.interrupt ();
+ dispatchThread = null;
}
}