mailing-list for TeXmacs Users

[Kostas Oikonomou <address@hidden>]

Suppose I emphasize some text (select it and click on "E" in the 
toolbar), but later I change my mind, and I want it in ordinary
"roman" type.

One way to do this is select the text again, and click on "E".  But then 
what actually appears in the document is one "em" on top of another 
"em", instead of the first "em" disappearing:

This is in roman, and <em|this> in italics. Now I change my mind:
<em|<em|this>> back to roman.

Same situation occurs with changing colors: make some text red, and then 
change it back to black:

This is <with|color|red|red>, and back to
<with|color|red|<with|color|black|red>> black.

Is there another way of "undoing" shape and color changes in text?


                        Kostas