Re: BUG #4399: List of Servers Cleared - Mailing list pgsql-bugs

From Dave Page
Subject Re: BUG #4399: List of Servers Cleared
Date
Msg-id 937d27e10809040544u98ad945o912eea0d6c80fa8f@mail.gmail.com
Whole thread Raw
In response to BUG #4399: List of Servers Cleared  ("Matt" <matt@datajack.org>)
List pgsql-bugs
On Thu, Sep 4, 2008 at 1:10 PM, Matt <matt@datajack.org> wrote:
>
> The following bug has been logged online:
>
> Bug reference:      4399
> Logged by:          Matt
> Email address:      matt@datajack.org
> PostgreSQL version: 1.8.4 rev: 7358
> Operating system:   osX
> Description:        List of Servers Cleared
> Details:
>
> Apologies if already reported, I did read the TODO but nothing came up.
>
> If you select the Servers ({number of saved servers}) icon from the Object
> Browser Frame, and you hit F5 (refresh), it clears all the servers from the
> view (says Servers (0)). When you restart Postgres, it has forgotten all of
> your saved servers, so you have to re-add them all again.
>
> I would have expected it to just refresh the list of servers or something,
> rather than drop them all, unless this is by design and I am mistaken?

Hmm, it does that here if you press F5 in 'Apple mode' - in which case
F5 isn't actually F5, but should be a special function key (see the
option on the keyboard preferences pane). On my MBP, this button
decreases the keyboard brightness!! In fact, it seems this only
happens for me with an external keyboard.

In any case, I've committed a patch to SVN that should fix this.

Thanks for the report.

--
Dave Page
EnterpriseDB UK: http://www.enterprisedb.com

pgsql-bugs by date:

Previous
From: "Matt"
Date:
Subject: BUG #4399: List of Servers Cleared
Next
From: "Jan-Peter Seifert"
Date:
Subject: BUG #4400: initdb doesn't work with partition D: