Обсуждение: [pgAdmin III] #210: Wrong Server selected after changing "Group"

Поиск
Список
Период
Сортировка

[pgAdmin III] #210: Wrong Server selected after changing "Group"

От
"pgAdmin Trac"
Дата:
#210: Wrong Server selected after changing "Group"
----------------------------+-----------------------------------------------
 Reporter:  brsa            |       Owner:  dpage
     Type:  bug             |      Status:  new  
 Priority:  minor           |   Milestone:  1.12 
Component:  pgadmin         |     Version:  trunk
 Keywords:  object browser  |    Platform:       
----------------------------+-----------------------------------------------
 Testing v1.12beta3 (rev. 8448) on Windows XP Pro. Server pg 8.4.4 on
 Debian Lenny.

 Object browser: after setting a new group for a server in the properties,
 the server moves to the new group (nice feature!). But the focus moves to
 the next server in the list. Now, when I try to edit this next server
 without changing the focus, I (falsely) get the properties of the server
 that has been moved.

 May be related to ticket #177, where pgadmin crashed on F5 when a selected
 function had disappeared in the meantime.

--
Ticket URL: <http://code.pgadmin.org/trac/ticket/210>
pgAdmin III <http://code.pgadmin.org/trac/>
pgAdmin III

Re: [pgAdmin III] #210: Wrong Server selected after changing "Group"

От
Erwin Brandstetter
Дата:
On Jul 12, 3:23 am, t...@code.pgadmin.org ("pgAdmin Trac") wrote:
> #210: Wrong Server selected after changing "Group"

BTW: it would be nice, if one could just rename a server "Group"
instead of changing the attribute of every single contained server.
But this is not an important feature, as it is rarely needed.

Regards
Erwin

Re: [pgAdmin III] #210: Wrong Server selected after changing "Group"

От
Guillaume Lelarge
Дата:
Le 12/07/2010 03:33, Erwin Brandstetter a écrit :
> On Jul 12, 3:23 am, t...@code.pgadmin.org ("pgAdmin Trac") wrote:
>> #210: Wrong Server selected after changing "Group"
>
> BTW: it would be nice, if one could just rename a server "Group"
> instead of changing the attribute of every single contained server.
> But this is not an important feature, as it is rarely needed.
>

I probably coded it wrong. I didn't want, at the time, to make a
complete Group object. I wanted to have a simple way to group things. We
can probably find a (UI) way to rename them. Right now, the best one can
do is open the configuration file (or the registry) and change the Group
value.


--
Guillaume
 http://www.postgresql.fr
 http://dalibo.com

Re: [pgAdmin III] #210: Wrong Server selected after changing "Group"

От
"pgAdmin Trac"
Дата:
#210: Wrong Server selected after changing "Group"
----------------------+-----------------------------------------------------
  Reporter:  brsa     |       Owner:  dpage         
      Type:  bug      |      Status:  closed        
  Priority:  minor    |   Milestone:  1.12          
 Component:  pgadmin  |     Version:  trunk         
Resolution:  fixed    |    Keywords:  object browser
  Platform:           |  
----------------------+-----------------------------------------------------
Changes (by dpage):

  * status:  new => closed
  * resolution:  => fixed


Comment:

 Fixed in rev 8466

--
Ticket URL: <http://code.pgadmin.org/trac/ticket/210#comment:1>
pgAdmin III <http://code.pgadmin.org/trac/>
pgAdmin III