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.
...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.
In response to
pgadmin-support by date
|Next:||From: Guillaume Lelarge||Date: 2012-02-06 20:13:13|
|Subject: Re: Plugin For Console|
|Previous:||From: Dave Page||Date: 2012-02-06 17:50:00|
|Subject: Re: SQL editor too slow on remote X|