On Sat, Apr 17, 2010 at 7:09 PM, Guillaume Lelarge
> What do you want with a right click in a group node? access to the
Same as other nodes - Add xxx etc. It's not that important though.
>> Y'know - as I type I can't help thinking that the correct way to do
>> this is to consider the root node to be the group, in which we
>> currently have a single, fixed group called 'Servers'. Additional
>> groups would then be additional root nodes... but I don't know if you
>> can do that on all operating systems.
> Done. Seems to work everywhere I checked.
There's something pretty broken. I'm not sure how to describe it
though... see if you can make sense of this!
- I edited a server. It had picked up my 'custom' group correctly, but
also had a blank entry in the list. I expected to see the default
- I moved the server to 'blank'. Nothing seemed to happen.
- I looked at the properties for the server again. Now I only have 2
blank groups listed.
- I restarted pgAdmin. Now I have 2 identical servers under 'Servers'.
What I would expect to see is:
- Any existing servers automatically get moved into the 'Servers'
group on first run of the new version.
- Any new servers default to the first group in the combo box. This
will obviously be 'Servers' on a new installation.
- The Servers group is merely a default that's always available.
Otherwise it is no different from any other group.
EnterpriseDB UK: http://www.enterprisedb.com
The Enterprise Postgres Company
In response to
pgadmin-hackers by date
|Next:||From: svn||Date: 2010-04-19 16:25:26|
|Subject: SVN Commit by guillaume: r8276 - branches/REL-1_10_0_PATCHES/pgadmin3/i18n/de_DE|
|Previous:||From: Erwin Brandstetter||Date: 2010-04-19 02:43:54|
|Subject: SET search_path = value|