On Fri, Apr 10, 2009 at 13:30:12 +0100, Ashley Moran wrote: >> Perhaps one day somebody could work out a better way to make use of >> this within the user interface
> An especially useful one for me would be if pushing to a repo failed > (which usually means I've deleted a local branch), darcs offered an > interactive choice of other targets. Hmm, perhaps a concrete example might make this clearer. You might find me saying "err, no, thanks" to a lot of UI proposals floating on this list :-) I don't mean to shoot them down or to needlessly trot out the iron fist. The game is balance what users might find friendly in one particular local case with an overall global problem of keeping things as tight and tidy as possible. Just one tiny pebble here and there added to the UI and the whole thing turns into a sort of avalanche of UI "features". That said, keep the proposals coming! Sometimes a more general solution that just hits the spot will emerge from the discussions. I think the nice thing about the darcs UI is that a lot of different operations work the "same" way. So the kind of proposals I (personally) tend to like are those which have a sort of broad applicability to lots of different commands/cases. Anyway, we may make mistakes in what we deem tight and tidy, but we certainly mean well! -- Eric Kow <http://www.nltg.brighton.ac.uk/home/Eric.Kow> PGP Key ID: 08AC04F9
pgpQfU54Vg4V8.pgp
Description: PGP signature
_______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
