Java constants: font

Where used:

  • NotesFont in RichTextStyle

Constants:

  • RichTextStyle.FONT_COURIER (4)
  • RichTextStyle.FONT_HELV (1)
  • RichTextStyle.FONT_ROMAN (0)