Export to PDF - file extension
(available from V6.4.936)


From now on the file extension ".pdf" will be added automatically if you use the direct PDF-export (via File => PDF or PDF-symbol from the menubar) and it doesn´t exist.