After more tests on W7/32 bits:
* Compiled with wxWidgets 3.03+wxPython: Highlight does not work.
* Compiled with wxWidgets 3.10 (without wxPython, not available): Highlight works.
After more tests on W7/32 bits:
* Compiled with wxWidgets 3.03+wxPython:
Highlight does not work.
* Compiled with wxWidgets 3.10 (without wxPython, not available):
Highlight works.