Hi all, http://bugzilla.gnome.org/show_bug.cgi?id=63610 Notably the Gif and Jpeg plug-ins have defaults which people change fairly frequently. It would be nice if preferences for plug-ins survived session changes. The way to do this might be in saving them to an rc file without providing an interface to changing them in the normal preferences dialog (this might be handy enough although Sven might have something to say about it). Basically some discussion is needed. Currently, the jpeg defaults suck. I would suggest following the advice in this bug and changing the default quality to 85%. Currently this is hard-coded in the plug-in. If someone were to spend a bit of time figuring out how we could do this better (and reporting here, and claiming the bug) that would be great. Cheers, Dave. -- David Neary, Lyon, France E-Mail: bolsh@xxxxxxxx
