Jürgen Spitzmüller wrote: > Pavel Sanda wrote: > > the border of "technical symbol" vs. "space" is fuzzy to me and i don't > > have hard opinion to dicuss it. > > > > but to sum up as the time passed we have 3 patches: > > 1. special symbol - simple unicode char > > 2. part of insetspace > > 3. special symbol - specific drawing > > > > if my counting is right than > > 1 - Guenter > > 2 - Juergen, JMarc > > 3 - Uwe > > > > correct? > > My vote is to both integrate it to InsetSpace
yes that means your vote goes to 2 >and to support it via unicodesymbols (if not already the case). thats already the case and the way i'm using it in 1.6. its actually part of solution 1 and it is a pity this symbol is not properly rendered with windows fonts. the patch would be uninvasive, backportable to 2.0 and with correct change track rendering. 2,3 are slightly worse as far CT is concerned but both can work (3 needs that the color is changed to standard font color as JMarc pointed out, but thats trivial). pavel
