On Mon, Feb 6, 2012 at 2:50 PM, Dave Page <dpage(at)pgadmin(dot)org> wrote:
> The highlighting is handled by wxWidgets, so this would almost
> certainly need to be patched there.
Interesting...
...I'll try disabling it and see if it makes it go away.
In which case, an option to toggle syntax highlighting would be useful.