comparison src/gui_gtk_x11.c @ 22:cc049b00ee70

updated for version 7.0014
author vimboss
date Thu, 02 Sep 2004 19:12:26 +0000
parents 3fc0f57ecb91
children 404aac550f35
comparison
equal deleted inserted replaced
21:db5102f7e29f 22:cc049b00ee70
5843 focus = gui.in_focus; 5843 focus = gui.in_focus;
5844 } 5844 }
5845 5845
5846 /* 5846 /*
5847 * Loop in GTK+ processing until a timeout or input occurs. 5847 * Loop in GTK+ processing until a timeout or input occurs.
5848 * Skip this if input is available anyway (can happen in rare
5849 * situations, sort of race condition).
5848 */ 5850 */
5849 gtk_main(); 5851 if (!input_available())
5852 gtk_main();
5850 5853
5851 /* Got char, return immediately */ 5854 /* Got char, return immediately */
5852 if (input_available()) 5855 if (input_available())
5853 { 5856 {
5854 if (timer != 0 && !timed_out) 5857 if (timer != 0 && !timed_out)