diff options
author | Joshua Judson Rosen | 2017-03-29 00:21:03 -0400 |
---|---|---|
committer | Joshua Judson Rosen | 2017-03-29 00:21:03 -0400 |
commit | c93ad6a0cfafdfbe2cb1f68efd21f886eed30e0a (patch) | |
tree | f9092ade1b3512a418c9127c086ee4ab4e76ba2b /src | |
parent | Let the GUI process between updates! (diff) | |
download | gnurobots-c93ad6a0cfafdfbe2cb1f68efd21f886eed30e0a.tar.gz |
robot-move: pause for USLEEP_TIME even after zero-length moves
Diffstat (limited to 'src')
-rw-r--r-- | src/ui-arena.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/ui-arena.c b/src/ui-arena.c index e6ce836..e2cea1e 100644 --- a/src/ui-arena.c +++ b/src/ui-arena.c @@ -366,6 +366,7 @@ void ui_arena_move_robot(UIArena *arena, gint from_x, gint from_y, arena->priv->width, arena->priv->height); gdk_threads_leave (); + g_usleep(USLEEP_TIME); return; } |