Re: Server order
От | Joris Dobbelsteen |
---|---|
Тема | Re: Server order |
Дата | |
Msg-id | 73427AD314CC364C8DF0FFF9C4D693FF037B43@nehemiah.joris2k.local обсуждение исходный текст |
Ответ на | Server order (Mike.Blackwell@rrd.com) |
Список | pgadmin-support |
>-----Original Message----- >From: pgadmin-support-owner@postgresql.org >[mailto:pgadmin-support-owner@postgresql.org] On Behalf Of >Guillaume Lelarge >Sent: woensdag 23 mei 2007 18:58 >To: Mike.Blackwell@rrd.com >Cc: pgadmin-support@postgresql.org >Subject: Re: [pgadmin-support] Server order > >Mike.Blackwell@rrd.com a écrit : >> >> Is there a way to change the order of the servers in the >Servers list? >> It'd be nice if they were alphabetically sorted. > >The patch attached sorts them alphabetically. As it changes >the behavior, perhaps an option is needed to enable it. Dave, >what do you think about it ? Imho an option is not needed, instead it makes the tree/behaviour more consistent. All other user named elements are alreadyin sorted order (take tablespaces, tables, views, functions, roles, ...). This just completes it (more). - Joris Dobbelsteen
В списке pgadmin-support по дате отправления: