Minh Nguyễn 3a310c916b Update the user dot when the user moves ...

Rolled back part of ed04e6d9f7 for #1852.

Fixes #1933.

2015-07-27 14:23:59 -07:00

..

android

Log the Environment ID and the Thread name

2015-03-18 12:51:33 +01:00

darwin

compress_png: void* => const void*

2015-07-08 19:45:59 +02:00

default

Avoid nudging transitions if a gesture is in progress #2

2015-07-27 21:57:51 +03:00

ios

Update the user dot when the user moves

2015-07-27 14:23:59 -07:00