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]. 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.
