Hi,
The grey dot: can you make the grey dot appear at the left bar? so that we can know where things have been edited.
