I see so you can have multiple div's with different styles I take it. That sounds tricky to update, but I suppose it's doable.
On Monday, December 26, 2016 at 3:27:30 AM UTC-6, Rodolfo Raya wrote: > > Hi, > > Use RichTextArea (com.google.gwt.user.client.ui.RichTextArea) for that. > Hide the toolbar and pass the text to edit in a <div> element with a style > attribute that sets font and color. > > Regards, > Rodolfo > > On Mon, Dec 26, 2016 at 3:19 AM Joel <[email protected] <javascript:>> > wrote: > >> >> I don't need much in the way of a text editor. I just want to set to one >> monospace font, and then add color based on the selections I'll parse out. >> >> I've done lots of googling and this appears to be a largely unsolved >> issue within GWT. Stack overflow doesn't really answer this issue, and the >> GWT wrappers I've seen for Ace & code mirror editors don't seem to expose a >> way to do this. >> >> Hoping someone here has more info in this regard. >> >> J >> >> -- >> You received this message because you are subscribed to the Google Groups >> "GWT Users" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to [email protected] <javascript:>. >> To post to this group, send email to [email protected] >> <javascript:>. >> Visit this group at https://groups.google.com/group/google-web-toolkit. >> For more options, visit https://groups.google.com/d/optout. >> > -- You received this message because you are subscribed to the Google Groups "GWT Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/google-web-toolkit. For more options, visit https://groups.google.com/d/optout.
