[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Project - Eliminating grob parents and outside-staff-priority
From: |
David Kastrup |
Subject: |
Re: Project - Eliminating grob parents and outside-staff-priority |
Date: |
Sun, 30 Sep 2012 10:10:35 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.2.50 (gnu/linux) |
"address@hidden" <address@hidden> writes:
> On 29 sept. 2012, at 19:54, address@hidden wrote:
>
> On 29 sept. 2012, at 19:53, "Keith OHara" <address@hidden>
> wrote:
>
> On Sat, 29 Sep 2012 10:30:32 -0700, address@hidden
> <address@hidden> wrote:
>
>
> The way you're using "tentative" is almost exactly how
> pure properties are used in LilyPond.
>
> Specifically, 'pure-height being the estimated vertical extent
> before line-breaking, while 'height is its extent after
> line-breaking.
>
> If there are distinct properties to describe the position at
> different stages, then each property can be evaluated just
> once (as HanWen suggested, and as Mike agreed 100%).
>
> More thinking. I'm not enthusiastic about stages - it is a top down
> approach that locks us into certain points of evaluation. What if we
> decided to add or get rid of a stage? Would we need to create things
> like unpure-pure-containers for various stages? What qualifies as a
> stage?
Dependencies, I should guess. A "stage" is where we break circular
dependencies.
--
David Kastrup
- Re: Project - Eliminating grob parents and outside-staff-priority, (continued)
- Re: Project - Eliminating grob parents and outside-staff-priority, Han-Wen Nienhuys, 2012/09/26
- Re: Project - Eliminating grob parents and outside-staff-priority, David Kastrup, 2012/09/26
- Re: Project - Eliminating grob parents and outside-staff-priority, Han-Wen Nienhuys, 2012/09/29
- Re: Project - Eliminating grob parents and outside-staff-priority, address@hidden, 2012/09/29
- Re: Project - Eliminating grob parents and outside-staff-priority, Han-Wen Nienhuys, 2012/09/29
- Re: Project - Eliminating grob parents and outside-staff-priority, Keith OHara, 2012/09/29
- Re: Project - Eliminating grob parents and outside-staff-priority, address@hidden, 2012/09/29
- Re: Project - Eliminating grob parents and outside-staff-priority, Keith OHara, 2012/09/29
- Re: Project - Eliminating grob parents and outside-staff-priority, address@hidden, 2012/09/29
- Re: Project - Eliminating grob parents and outside-staff-priority, address@hidden, 2012/09/30
- Re: Project - Eliminating grob parents and outside-staff-priority,
David Kastrup <=
- Re: Project - Eliminating grob parents and outside-staff-priority, David Kastrup, 2012/09/30
- Re: Project - Eliminating grob parents and outside-staff-priority, address@hidden, 2012/09/30
- Re: Project - Eliminating grob parents and outside-staff-priority, Janek WarchoĊ, 2012/09/30
- Re: Project - Eliminating grob parents and outside-staff-priority, address@hidden, 2012/09/30
- Re: Project - Eliminating grob parents and outside-staff-priority, David Kastrup, 2012/09/30
- Re: Project - Eliminating grob parents and outside-staff-priority, address@hidden, 2012/09/30
- Re: Project - Eliminating grob parents and outside-staff-priority, David Kastrup, 2012/09/30
- Re: Project - Eliminating grob parents and outside-staff-priority, address@hidden, 2012/09/26
- Re: Project - Eliminating grob parents and outside-staff-priority, Joe Neeman, 2012/09/26