evq_flush 3835 src/pgtkterm.c count = evq_flush (hold_quit); evq_flush 3859 src/pgtkterm.c count = evq_flush (hold_quit);