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 | |
| parent | Let the GUI process between updates! (diff) | |
| download | gnurobots-c93ad6a0cfafdfbe2cb1f68efd21f886eed30e0a.tar.gz | |
robot-move: pause for USLEEP_TIME even after zero-length moves
| -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; } |