Closed jfarwer closed 3 years ago
related to formatting getting lost when moving from Java strings to HTML. This fixes issue #410.
related to formatting getting lost when moving from Java strings to HTML. This fixes issue #410.