On Thu, Mar 12, 2009 at 07:39:02AM +0100, Thorkil Naur wrote: > On Thursday 12 March 2009 06:14, Trent W.Buck wrote: >> Replaces rejected patch that refactored add_to_list. >> >> Thu Mar 12 04:41:19 UTC 2009 Trent W. Buck <[email protected]> >> * Use standard library function `union` instead of custom `add_to_list`. > > I am not sure whether this is important, but with union, the element > will be added at the beginning, not at the end, as with > add_to_list. SInce this is the user prefrerences file being > manipulated here (I think), this change will be visible to users.
Ah, thanks, I had forgotten that datum since the discussion thread happened so long ago. I guess it's only visible if a user cats _darcs/prefs/prefs, which normally wouldn't happen since they only edit _darcs/prefs/defaults directly, and .../prefs via "darcs setpref". _______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
