Hallo Gideon,
arbeite zwar auch schonmal mit HTMLArea, bin aber nicht so tief drin.
Ich meine wenn das "execCommand" benutzt wird, wird das Ergebnis vom Browser zurückgeliefert und ist nicht im JS-Code geschrieben.
a.) Es gibt bei HTMLArea ein recht großes Forum
b.) Ich war mal mit der Farbausgabe unzufrieden und habe dann amm Ende immer den von HTML-Area gelieferten Code in Javascript mit RegExp für mich geschmeidig gemacht.
Grüße,
Bernd
PS: Den Code hatte ich hier auch mal im Forum Veröffentlicht bzw. auch im HTML-Aere Forum