Thanks, Guillaume. It's ticket 386, right? Could you also add shortcut
keys while you're at it? That would be more useful than the menu items
themselves. And it may be worth mentioning the whole "clear selection"
thing in the ticket so it doesn't get lost.
On 25/12/2012 12:48 AM, Guillaume Lelarge wrote:
On Wed, 2012-12-05 at 20:12 +1100, Evan Martin wrote:
You mean pressing the shorcut key right after the server status has
refreshed, so the selection is on a different row? Couldn't the same
thing happen with the toolbar button? Anyway, I have a suggestion to fix
that: when the list refreshes, if the previously selected process no
longer exists simply select no row (ie. clear the selection). The button
or shorcut key would then be disabled.
You're right. I added a ticket on this so that I can work on this later.
--
Sent via pgadmin-support mailing list (pgadmin-support@postgresql.org)
To make changes to your subscription:
http://www.postgresql.org/mailpref/pgadmin-support