Le 24/06/2020 à 11:22, Daniel a écrit :
On 24/6/20 8:46, Daniel wrote:
I don't find the last red/blue distinction for special spaces nice
because it is used for negative space too and the high/low distinction
is hard to see. Instead for these special spaces, there could be a a
(blue) tilde (˜), as used in LaTeX, on the middle or bottom of the
line for a protected space instead of the "space-box". I am not sure
what would be a good symbol for the interword space though: maybe also
the latex symbol (\) or a (blue) bullet (• or ◦), as used commonly to
mark a normal space, on the middle or bottom. Though I am not sure
whether those symbols interfere with some other symbols (like
linguistic ones or so). Others might know.
ps. Also, a symbol works here because these special spaces don't need to
be stretched.
Their size can be pretty small for thin spaces.
JMarc
--
lyx-devel mailing list
lyx-devel@lists.lyx.org
http://lists.lyx.org/mailman/listinfo/lyx-devel
