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 and to support it via unicodesymbols (if not already the case). Both approaches have different uses, and as already pointed out in an earlier mail to this thread, we cover many glyphs via unicodesymbols that are also available via specific insets or otherwise (think NO_BREAK_SPACE, think ENDASH, f.ex.). Jürgen
