2008/12/23 Patrick McCarty <pnor...@gmail.com>: > On Mon, Dec 22, 2008 at 10:18:04PM +0000, Neil Puttock wrote: >> 2008/12/22 Patrick McCarty <pnor...@gmail.com>: >> >> > 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 _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org http://lists.gnu.org/mailman/listinfo/lilypond-devel
