AT:
- If the auto refresh mode is active, the auto-refresh Icon in the Auto-Refresh button is replaced with an indicator displaying the time until the next auto-refresh is happening
- If auto-refresh mode is not active, original icon is used
- Progress indicator consists of a lightly colored circle and a dark outline
- Outline of the circle is invisible when auto refresh mode is first activated
- Outline of the circle represents progress made towards next auto-refresh: More outline = more progress
- Outline starts at top of circle and moves clockwise
- When outline is full, auto-refresh happens, outline is removed and starts anew
- If user selects a different auto refresh interval, outline is removed and starts anew