On Mon, 2012-06-25 at 11:08 -0500, John W. Foster wrote: > I still do believe it would be a good idea to offer it in preferences. I don't need it, but I agree that such an option is good.