[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Tunable vs. internal properties
From: |
Patrick McCarty |
Subject: |
Re: Tunable vs. internal properties |
Date: |
Mon, 22 Dec 2008 17:22:12 -0800 |
User-agent: |
Mutt/1.5.18 (2008-05-17) |
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,
Patrick
0001-Move-three-grob-properties-from-internal-to-user.patch
Description: Text document