I think it's useful information on how many characters were selected in
the SQL editor.
For me it helps a lot in some cases.
What do you think?
I'm sending a patch.
pgadmin-hackers by date
|Next:||From: Vinicius Santos||Date: 2010-12-16 00:25:33|
|Subject: Re: Number of selected characters.|
|Previous:||From: Dave Page||Date: 2010-12-15 13:56:26|
|Subject: Re: 1.12.2 builds|