Font size

[LGR]

I think I brought this up before, but let me say it again:

It's good that you can adjust the font size through a submenu of a submenu of tools, but it's a problem that this also affects print size. I find that 12 or even 14 pitch is best in the IDE, but makes a mess when I have to print, and forget to set it back to 10. The easiest solution would be to make the printing 10 pitch, regardless of the setting. Separate adjustments for screen and print size would be better, but I'd be happy if the print were 10 pitch, non-adjustable.

[filip]

Hi,

Thank your your suggestion.
Maybe it would be a good idea to have both font size selection available, for printing and IDE ?

Regards,
Filip.

[LGR]

Here's another thought: printing is a problem for a lot of tools as well, such as printing of the help file, which gives you no control over format at all. Maybe the best solution is to have an option to generate a PDF file. Then, the user can open the document in a PDF reader, and have all of the flexibility that the PDF reader provides.

A lot of open source programs are moving in that direction. It takes the burden to provide all of the options for formatting and printing off of the developer.

[filip]

Hi,

Thanks for this input, we appreciate your suggestions.

Regards,
Filip.