[DEVELOPMENT ENVIRONMENT]
* BUG: Search dialog: text highlight now works correctly whatever the editor font is.

[GB.EVAL.HIGHLIGHT]
* NEW: TextHighlighter: Paint() is a new method that paints the highlighted text.

[GB.GUI.BASE]
* NEW: Paint: Add an hidden undocumented method that computes the character width of a fixed font.