Le mercredi 04 octobre 2006 à 17:44 +0200, Loïc Minier a écrit : > Yeah, we both know the code is around, but not used anymore. You just > can't say they want this version of the code to be the default. I'm > just stating the obvious: we're diverging from upstream for a problem > which is not Debian specific. Should we also remove all our bugfix patches? > > Again, this is too much complicated for just saving a session. > > First, I didn't understand your critic, and I immediately wanted to > clarify that this gconf setting would be to always save the session or > never save the session.... but I realized this already exists! IIUC, > the session preferences permit one to chose to always save session on > exit. And this option isn't used. The session is never saved on exit, even if this setting is activated. > Why would one *not* want to always save sessions when one wants to save > his session? I personally would like to never save session, which is > the current default, and I'm happy about. Because one would want to customize his *default* session. This is why I proposed option 3. For this use case, exiting the session just to save it is even awkward. (In this case the bug I quoted would also have to be fixed.) -- .''`. Josselin Mouette /\./\ : :' : josselin.mouette@ens-lyon.org `. `' joss@debian.org `- Debian GNU/Linux -- The power of freedom
Attachment:
signature.asc
Description: Ceci est une partie de message =?ISO-8859-1?Q?num=E9riquement?= =?ISO-8859-1?Q?_sign=E9e?=