Comment 10 for bug 171054

Revision history for this message
Florent Becker (florent-becker-ens-lyon) wrote :

Not having vector formats (including svg) under export is still an annoyance:
- Users needing to learn to use the least intuitive option is still a bug
- Using save a copy sets the default directory/file extension (you have to explicitely reselect pdf each time, which is *very* error-prone (hello drawing.pdf.svg)
- You can't export a part of a drawing as pdf (or svg/eps for that matter)
- You can't use batch export into pdf
- The solution you propose would eliminate the need for Save a copy "at the expense of an occasional extra mouse click" whereas allowing vector export (ie, merging export and save a copy) would eliminate the need for Save a copy at the expense of *nothing at all*.