On Sun, 3 Aug 2003, Michael Nordstrom wrote: > On Sun, Aug 03, 2003, Alexander R. Pruss wrote: > > Would you mind THREE compile-time options: > > --scroll-to-bottom=always > > --scroll-to-bottom=never > > --scroll-to-bottom=runtime-configurable > > ? > > Yes, since I don't see any reason to make this a runtime option. How > often do you really change this setting?
I don't actually change the setting. :-) I like giving power to the end-user, and letting end-users make as many decisions as possible. (One of my pet peeves is developers who could have added a simple user-configurable option to do something that a user might want to change, but who didn't. I like LOTS of configurable preferences.) Of course if we are willing to distribute both sets of binaries, that's fine with me, but I think that with the multiple language versions, the light, full and hi-res versions, etc., it will be a mess. Alex -- Dr. Alexander R. Pruss || e-mail: [EMAIL PROTECTED] Philosophy Department || online papers and home page: Georgetown University || www.georgetown.edu/faculty/ap85 Washington, DC 20057 || U.S.A. || ----------------------------------------------------------------------------- "Philosophiam discimus non ut tantum sciamus, sed ut boni efficiamur." - Paul of Worczyn (1424) _______________________________________________ plucker-dev mailing list [EMAIL PROTECTED] http://lists.rubberchicken.org/mailman/listinfo/plucker-dev