On Tue, 31 Jan 2012 10:32:12 +0000, David Edmondson <dme@dme.org> wrote: > On Mon, 30 Jan 2012 21:25:19 -0800, Jameson Graef Rollins <jrollins@finestructure.net> wrote: > > On Mon, 30 Jan 2012 16:52:20 +0000, David Edmondson <dme@dme.org> wrote: > > > The blank line doesn't really change position, but is now considered > > > to be part of the body rather than part of the headers. This means > > > that it is visible when the body is visible rather than when the > > > headers are visible. > > > > This definitely makes sense. I rarely hide headers anymore, but I never > > liked that the separation between the headers and the body went away > > when the headers are hidden. +1. > > Any objections to changing this? +1 for changing this. Tomi