31 May
2017
31 May
'17
6:46 p.m.
Oh, the dots are mouseable? I didn't even suspect. Shame on me.
- Brian
On Thu, Jun 01, 2017 at 02:34:43AM +0300, Marius Petrescu wrote:
About the size of the location dots: If I make them
smaller, there would be
a problem to hit them with the mouse button on high res displays...
And there is always the zoom option (+/-, the mouse wheel).