Hi,
some questions about thin space (created by \, in ERT).
First of all -- is there any hotkey combination (like Ctrl-space
for hard space ~)?
Another issue is one wish to TODO: would it be possible to
create thin spaces in WYSIWYM manner? I mean, that thin space
would be put in between two numbers (like in 100\,000) and
between number and percent sign (like 100\,%), where, I hope,
are thin spaces appropriate?
Thanks
Matej
