[Lazarus] Mac users: High-DPI

[Alexey]

On 09.03.2017 16:01, Ondrej Pokorny via Lazarus wrote:
> will have the ScaleFactor equivalent (I'll keep PixelsPerInch). 
> Probably more changes will be needed.
> On Windows: DesignTimePPI=96 -> DesignTimeScaleFactor=100 <- On Mac: 
> DesignTimePPI=72. The same goes for PixelsPerInch/ScaleFactor.

IMO it's not needed yet. can you tell why the Mac font becomes bigger? 
If we can find why font becomes bigger, we can try to fix font size. 
maybe default font size is eg 12. then we can change default to eg 10/ or 9

-- 
Regards,
Alexey