On Sat, Jul 19, 2008 at 10:34:46AM -0700, Colin D Bennett wrote: > > [...] We could support a setting such as "set menuwrap=1" which > would enable this feature for users who care about it.
Isn't this a bit overkill? The time spent adding this config option vastly exceeds any time that could be saved by having or not having menu wrap. > Actually my graphical menu currently *does* wrap around, I guess it > seemed logical to me at the time I wrote the code! 8-) As you can > tell, I am not firmly set on either wrapping or not wrapping. Same here.. my concern with taking arbitrary decisions is, when someone comes later and asks to have it reverted, do we accept the request, and otherwise what rationale do we give her? :-) -- Robert Millan <GPLv2> I know my rights; I want my phone call! <DRM> What good is a phone call… if you are unable to speak? (as seen on /.) _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org http://lists.gnu.org/mailman/listinfo/grub-devel
