Re: sIZE OF DIMENSIONS

by Puybaret » Sun Sep 24, 2023 3:01 pm

The version 7.2 now includes a dialog box to modify selected dimensions, including their font size.