[GB.EVAL.HIGHLIGHT]
* NEW: Highlight: Styles is a new property that returns the string key available for all TextHighlighterStyle objects. The integer id of a style is its position in that array.
* NEW: Highlight: GetStyleName() is a new method that returns the translated name of a specific style.
* NEW: TextHighlighter: List is a new static property that returns a list of all implemented highlighter names.
* NEW: TextHighlighter: Name is a new property that returns the name of an highlighter.
* NEW: TextHighlighter: FullName is a new property that returns the human name of an highlighter.
* NEW: TextHighlighter: Styles is a new property that returns the styles actually used by an highlighter.
* NEW: TextHighlighter: ToAnsi(), ToHTML(), ToRichText() and Paint() method now take a TextHighlighterTheme or an array of TextHighlighterStyle as last argument.
* NEW: TextHighlighterStyle: Add Key, Name, Color, Bold, Underline, Dotted, Strikeout properties.
* NEW: TextHighlighterStyle: The Background property tells if the style is a background style according to its key.
* NEW: TextHighlighterStyle: The InvertedColor property returns the style color inverted for dark themes.
* NEW: TextHighlighterStyle: The ToString() method serializes the style to a string.
* NEW: TextHighlighterStyle: The FromString() method creates a style from a string returned by ToString().
* NEW: TextHighlighterTheme: A new class that represents a highlighting theme
* NEW: All highlighter classes were ported to the new design.
7b681d214e