mailing-list for TeXmacs Users

[address@hidden]

Selon Murali Agastya <address@hidden>:
> Can we have a command that removes all spaces that are not entered
> explicitly -- that is that whitespace that is inserted by pressing
> spacebar several times.

Yes, that could be done (when time will be available); please fill out a wish 
on
Savannah for this. Notice that a simple implementation would also remove 
spaces
in verbatim environments. I am not sure whether this would be nice.

Best wishes, Joris