On Sat, Dec 06, 2003 at 01:10:29PM +0100, Juergen Spitzmueller wrote:
> Juergen Spitzmueller wrote:
> > BTW is it possible to get rid of the space at the beginning of a char style
> > inset?
>
> Apparently this has more than one source. One part of the problem is that the
> insettext inside the i
On Sat, Dec 06, 2003 at 01:10:29PM +0100, Juergen Spitzmueller spake thusly:
>
> Juergen Spitzmueller wrote:
> > BTW is it possible to get rid of the space at the beginning of a char style
> > inset?
>
> Apparently this has more than one source. One part of the problem is that the
> insettext in
Juergen Spitzmueller wrote:
> BTW is it possible to get rid of the space at the beginning of a char style
> inset?
Apparently this has more than one source. One part of the problem is that the
insettext inside the inset has indended paragraph if the document uses
paragraph indendation.
Jürgen
Martin Vermeer wrote:
> Committed. I fixed one more bug: now the labelfont definition is
> actually used for the label (blue default font for all styles; twice
> reduced). Also the underline (now having two little end hooks) takes
> the label's colour.
Looks very promising!
I found one bug though.
On Fri, Dec 05, 2003 at 12:54:58PM +0200, Martin Vermeer spake thusly:
> Patch attached. As I haven't heard any real objections (just blue-sky
> ideas building on it) I'll commit later today.
Committed. I fixed one more bug: now the labelfont definition is
actually used for the label (blue defau