From: | Dave Page <dpage(at)pgadmin(dot)org> |
---|---|
To: | Guillaume Lelarge <guillaume(at)lelarge(dot)info> |
Cc: | pgadmin-hackers(at)postgresql(dot)org |
Subject: | Re: Server Status window work |
Date: | 2009-02-25 10:38:29 |
Message-ID: | 937d27e10902250238j7f3e6a87g8d5379a9194e2c08@mail.gmail.com |
Views: | Raw Message | Whole Thread | Download mbox | Resend email |
Thread: | |
Lists: | pgadmin-hackers |
On Tue, Feb 24, 2009 at 6:53 PM, Guillaume Lelarge
<guillaume(at)lelarge(dot)info> wrote:
>> - If I undock a pane on Mac, the default size is about 2 pixels wide
>> by 20 high (thats a guess). Makes it pretty hard to see or resize :-p
>>
>
> I'm a bit lost here. I have some issues on Mac, but I don't know how to
> delete saved preferences. On GTK, it's simple. I just need to edit the
> ~/.pgadmin3 file. On Windows, it's a bit more difficult but with
> regedit, one can do it. But I don't find a way to do this on Mac. Can
> you shared your precious knowledge ? :)
Look in ~/Library/Preferences/pgadmin3\ Preferences
(yes, that is a space in there. Don't blame me :-p)
Looking at the patch now btw - will reply in more detail soon.
--
Dave Page
EnterpriseDB UK: http://www.enterprisedb.com
From | Date | Subject | |
---|---|---|---|
Next Message | Dave Page | 2009-02-25 11:22:25 | Re: Server Status window work |
Previous Message | Dave Page | 2009-02-25 08:40:27 | Re: speaking of 8.4... |