Change point size

[JRM]

Hi,

Still about visibility, could you make it possible to change the display size of points ?

Some of my usecases involve cherry-picking just a few points but when you zoom in close enough to select them, they become to hard to see to do so.