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.
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 firstname.lastname@example.org.
To post to this group, send email to email@example.com.
Visit this group at https://groups.google.com/group/google-web-toolkit.
For more options, visit https://groups.google.com/d/optout.