[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Tunable vs. internal properties
From: |
Neil Puttock |
Subject: |
Re: Tunable vs. internal properties |
Date: |
Wed, 24 Dec 2008 12:46:32 +0000 |
2008/12/23 Patrick McCarty <address@hidden>:
> On Mon, Dec 22, 2008 at 10:18:04PM +0000, Neil Puttock wrote:
>> 2008/12/22 Patrick McCarty <address@hidden>:
>>
>> > BTW, I think I these properties need to be moved from "internal
>> > backend" to "user backend":
>> >
>> > - circled-tip
>> > - padding-pairs
>> > - skyline-horizontal-padding
>>
>> I agree.
>>
>> Do you want to prepare a patch?
>
> Sure. Here it is.
Thanks, it's applied.
Cheers,
Neil