GNOME Bugzilla – Bug 707190
Print to file: good filename by default
Last modified: 2013-11-04 12:34:15 UTC
whenever i try to convert a text to pdf i use print option in gedit. Then select pdf formate and click print. but the pdf file name is the name of last printed pdf . Rather then that why don't it automatically append the [saved filename].pdf formate. that will be a good option.So i thought of adding that feature but i was not able to compile the source in Ubuntu. please add that feature.
I confirm, when printing to a file, the filename is often not what I want.
It's probably a regression, see https://wiki.gnome.org/GnomeGoals/PrintToFile bug #587053
Created attachment 258879 [details] [review] Print to file: fix default output filename In ~/.config/gedit/gedit-print-settings, the URI is saved and loaded the next time. Since the URI has a higher priority than the BASENAME, the basename was not taken into account.
Review of attachment 258879 [details] [review]: Makes sense. I guess it is worth backporting to 3.10 (and probably also others of your recent patches)
The commit is pushed to the master and gnome-3-10 branches.