| 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: | Whole Thread | Raw Message | 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... |