Android: Make the UI update when the circle radius is changed in a mission
Merge pull request #1100 from arthurbenemann/CircleUI

Fix circle ui in  mission