Re: [PATCH] Docs: IR: Move 'details to user grob property list

[Patrick McCarty]

On Fri, Apr 03, 2009 at 01:53:43PM -0600, Carl D. Sorensen wrote:
> 
> 
> 
> On 4/3/09 1:43 PM, "Patrick McCarty" <address@hidden> wrote:
> 
> > On Fri, Apr 3, 2009 at 12:21 PM, Carl D. Sorensen <address@hidden> wrote:
> >> 
> >>> 
> >> Unfortunately, there are different 'details lists for different grobs,
> >> so there's not a generic set of defaults that we can list, if I understand
> >> correctly.
> > 
> > If 'details is moved to the list of user grob properties, then every
> > grob containing default settings for 'details will have the
> > appropriate values listed in the Internals Reference.  After `make
> > web', here are two pages that benefit from this change:
> > 
> > http://uoregon.edu/~pmccarty/texi2html/Stem.html
> > http://uoregon.edu/~pmccarty/texi2html/Slur.html
> 
> Cool!  I really like how that works!

So, is the patch okay as it is?


Thanks,
Patrick