Interface IGlossaryRenderer

    • Field Detail

      • NO_ATTRIBUTES

        static final javax.swing.text.AttributeSet NO_ATTRIBUTES
      • PRIORITY_ATTRIBUTES

        static final javax.swing.text.AttributeSet PRIORITY_ATTRIBUTES
      • SOURCE_ATTRIBUTES

        static final javax.swing.text.AttributeSet SOURCE_ATTRIBUTES
      • TARGET_ATTRIBUTES

        static final javax.swing.text.AttributeSet TARGET_ATTRIBUTES
      • NOTES_ATTRIBUTES

        static final javax.swing.text.AttributeSet NOTES_ATTRIBUTES
    • Method Detail

      • getName

        java.lang.String getName()
        Name to be displayed in the drop box. Can be language-dependent
      • getId

        java.lang.String getId()
        String to be stored in config file. Must be language-independent, and unique
      • render

        default void render​(GlossaryEntry entry,
                            javax.swing.text.StyledDocument doc)
      • renderToHtml

        default java.lang.String renderToHtml​(GlossaryEntry entry)