Let the GUI process between updates!

Move the GDK lock-management into the various arena action functions
so that we can release the lock _before_ sleeping in the guile thread,
allowing the GUI thread to update when the sleep starts
rather than when the sleep ends, so that the messages actually
stand a chance at remaining visible for something close to USLEEP_TIME--
rather than not showing until USLEEP_TIME has already expired.

Otherwise many of the updates get lost, e.g.:

	(while (robot-feel "space") (robot-move 1))

... never seems to actually spend any time with the "Robot feels ..."
messages visible onscreen between the "Robot moves.." messages.

Note also that this change allows the GUI to generally be much more
responsive to user interaction (e.g.: scrolling, selection/copy/paste)
while a robot program is running!

0 files changed, 0 insertions, 0 deletions