Feature request: toggle to exclude file extension from file name

[stevenlis]

Hi @PeterWone

Could you please consider adding a toggle to exclude the file extension from the file name when printing various scripts and saving them as PDFs? For instance, a file named "file-name.py" currently results in a file name of "file-name.py.pdf." It would be more readable to simply have "file-name.pdf." Your thoughts on this would be appreciated. Thank you in advance!

[PeterWone]

This is one of those problems that's easy for a person and quite hard to code with 100% reliability, but we can certainly try. Again, after the build is fixed.

We can probably make it work for known cases and fall back to the current behaviour. Or your toggle suggestion would work too, I guess.