[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: top-margin bug?

From: Patrick McCarty
Subject: Re: top-margin bug?
Date: Mon, 27 Jul 2009 12:13:01 -0700
User-agent: Mutt/1.5.20 (2009-06-14)

On Mon, Jul 27, 2009 at 11:41:02AM -0700, Joe Neeman wrote:
> On Mon, 2009-07-27 at 11:31 -0700, Patrick McCarty wrote:
> > 
> > Thanks for pointing out the bug in the Notation Reference.
> > 
> > But I can't use that exact description, because if you do not *have* a
> > title, head-separation will behave differently.  In this case, it
> > appears to be the distance between the top-margin and the spot where a
> > title *would* appear if it existed.
> > 
> > However, I think I will hold off on modifying the description, because
> > there some large spacing changes (from Joe) will be committed soon,
> > and I'm not sure if "head-separation" will be affected or not.
> I'm not going to touch head-separation.

Okay, great.  I'll make the doc changes then.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]