V4 beta Oct-10-2019 available now

 From:  Marc (TELLIER)
9526.153 In reply to 9526.1 
Hi,

Very cool to see dimensions and editable text.

Been quite busy lately and haven't read all the comments.
Show points doesn't seem to work on dimensions.

It would be cool when exporting to PDF to have the option to set dimensions according to font size.
Let's say you want the font at 8pts, the rest of dimensions would scale accordingly.

Great work on the details panels, the selection filter is very interesting, quite flexible panel.

Will you consider implementing simple dashed lines in this version ?

Thanks,

Marc