Re: [Patch] Re: [Patch] Re: CharStyle discussion

2003-12-08 Thread Andre Poenitz
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 inset has indended paragraph if the document uses 
> paragraph indendation.

The main problem is the 20 pixel room for the [ nesting markers (which
won't be needed in all-boxes btw)

Andre'


Re: [Patch] Re: [Patch] Re: CharStyle discussion

2003-12-06 Thread Martin Vermeer
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 inside the inset has indended paragraph if the document uses 
> paragraph indendation.

That is not the reason here. 

Irritating isn't it?
 
> Jürgen

- Martin



pgp0.pgp
Description: PGP signature


Re: [Patch] Re: [Patch] Re: CharStyle discussion

2003-12-06 Thread Juergen Spitzmueller
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



Re: [Patch] Re: [Patch] Re: CharStyle discussion

2003-12-06 Thread Juergen Spitzmueller
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. Special characters are not escaped inside the char 
style (I have tested noun). Type \today inside noun (not in ert) and you'll 
see what I mean.

Jürgen

BTW is it possible to get rid of the space at the beginning of a char style 
inset?



Re: [Patch] Re: [Patch] Re: CharStyle discussion

2003-12-06 Thread Martin Vermeer
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 default font for all styles; twice
reduced). Also the underline (now having two little end hooks) takes
the label's colour.

- Martin



pgp0.pgp
Description: PGP signature