Re: Remove thin-kern property. (issue 105560044 by address@hidden)

[Marc Hohl]

Am 08.07.2014 02:17, schrieb Paul Morris:
> Thomas Morley-2 wrote
> > > But *do* we need two different variables which then are used with
> > exactly the
> > > same value?
> > > Do we need the option to change the distance of the segno double bar
> > line?
> >
> > I'd say yes.
> > I'm always against loosing functionality, and deleting 'thin-kern would
> > limit the tweaking-possibilities.
>
> +1

OK, but 'thin-kern does not seem to be an appropriate name for this 
property anymore IMHO.

Marc