https://bugs.documentfoundation.org/show_bug.cgi?id=145284
--- Comment #6 from John <[email protected]> --- The original bug seems to be gone. That is, if I choose the "export to PDF" functionality via the little PDF button or the menu, the "pdf" extension replaces the file's "odt" extension. However if I print the file and then choose "print to pdf" via the system dialog, the resulting dialog box has both the "odt" and the "pdf" extensions, as in "filename.odt.pdf". Different apps seem to handle this in different ways. For example, some leave the new pdf "unnamed", but a quick check doesn't find any that leave the original extension on the proposed PDF filename. -- You are receiving this mail because: You are the assignee for the bug.
