Simple fix to improve performance in Linux with pixel scaling > x1.

This commit is contained in:
David Capello 2010-10-14 19:19:40 -07:00
parent fb0e82be08
commit 5f19a15dc1

View File

@ -531,14 +531,14 @@ bool jmanager_generate_messages(JWidget manager)
/* generate redraw events */ /* generate redraw events */
jwidget_flush_redraw(manager); jwidget_flush_redraw(manager);
/* make some OSes happy */
yield_timeslice();
rest(1);
if (!jlist_empty(msg_queue)) if (!jlist_empty(msg_queue))
return true; return true;
else { else
/* make some OSes happy */
yield_timeslice();
rest(1);
return false; return false;
}
} }
void jmanager_dispatch_messages(JWidget manager) void jmanager_dispatch_messages(JWidget manager)