On Tue, Feb 24, 2009 at 6:53 PM, Guillaume Lelarge <[email protected]> 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 -- Sent via pgadmin-hackers mailing list ([email protected]) To make changes to your subscription: http://www.postgresql.org/mailpref/pgadmin-hackers
