On Tue, 2 May 2006, Linus Torvalds wrote: > > Ie not a separate menu, but having the current "view" radio buttons be > more flexible. The obvious way to do it would be to just have two buttons per view: one exclusive one (for the main view - only one selected at a time), and the other one for the "highlight" one where you could allow multiple views to be selected for highlighting. Linus - : send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html