On Sun, Mar 30, 2008 at 10:27:27PM +0200, Yann Dirson <[EMAIL PROTECTED]> was 
heard to say:
> On Sun, Mar 30, 2008 at 08:46:37AM -0700, Daniel Burrows wrote:
> > On Sun, Mar 30, 2008 at 02:57:26PM +0200, Yann Dirson <[EMAIL PROTECTED]> 
> > was heard to say:
> > > I wonder if it would not be possible to save only modified
> > > preferences, so that settings that the user never changed get the new
> > > default whenever it gets changed.  That'd probably be a new wishlist
> > > item :)
> > 
> >   It's mostly a question of how you want to surprise the user.  If you
> > only save modified preferences, then when the user has specifically set
> > an option to something that happens to be the default, or when the
> > default is changed to match their preferences, changing the default will
> > suddenly change a preference the user explicitly selected.
> 
> No :)  If only modified prefs are saved, the new defaults will only be
> selected for settings the user never modified.

  But the user has modified the settings back to the defaults, so they
aren't modified any more.  If the "modifiedness" is sticky, I don't see
how this differs from current behavior?

  For reference, here's my ~/.aptitude/config:


aptitude "";
aptitude::Keep-Unused-Pattern "";
aptitude::Delete-Unused-Pattern "";
aptitude::UI "";
aptitude::UI::Menubar-Autohide "false";
aptitude::UI::Minibuf-Prompts "false";
aptitude::UI::Advance-On-Action "true";
aptitude::UI::Pause-After-Download "OnlyIfError";
aptitude::UI::Minibuf-Download-Bar "false";
aptitude::UI::Incremental-Search "true";
aptitude::UI::Package-Display-Format "%c%a%M%S %p %Z %t %v %V";
aptitude::Recommends-Important "";
APT "";
APT::Install-Recommends "true";

  All of these are settings that I've modified interactively in the
past; aptitude knows about a lot of settings that aren't mentioned
anywhere there.

> Maybe with such a mechanism, it would be useful to have a "reset to
> default" key binding.

  There is a "Revert options" menu option, to do just this.

  Daniel



-- 
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Reply via email to