Re: update_tightinset () ?

[Michael Goffioul]

On Tue, Jul 16, 2013 at 7:31 PM, Ben Abbott <address@hidden> wrote:

On Jul 16, 2013, at 4:50 PM, Ben Abbott wrote:

> Michael,
>
> I'm looking into fixing some problems / bugs involving the axes "position", "outerposition", "looseinset", and "tightinset".  I've almost got an approach worked out, but don't see how to update the "position" and "outerposition" axes properties when the "tightinset" changes.  Is there something equivalent to update_tightinset() that is called when the tightinset is modified?
>
> Ben

I've found what I was looking for.

Sorry, I didn't find the time to answer you.

Michael.