e5b5487a13
[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.
The file is empty.