1 Jun
2017
1 Jun
'17
12:46 a.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).