From: | Francisco Olarte <folarte(at)peoplecall(dot)com> |
---|---|
To: | mrupert(at)gmail(dot)com |
Cc: | "pgsql-bugs(at)postgresql(dot)org" <pgsql-bugs(at)postgresql(dot)org> |
Subject: | Re: BUG #13534: Pgadmin crash when changing font |
Date: | 2015-08-03 16:31:28 |
Message-ID: | CA+bJJbzw+47rPG4_yC+jvWTdg6VXtpuR4PWF1VZVQhWhRDy5Dg@mail.gmail.com |
Views: | Raw Message | Whole Thread | Download mbox | Resend email |
Thread: | |
Lists: | pgsql-bugs |
Matthew:
On Mon, Aug 3, 2015 at 4:15 PM, <mrupert(at)gmail(dot)com> wrote:
> I have seen this reported but have not seen any responses or workarounds. I
> cannot change my font size in PGAdmin 1.20.0 on Mac Yosemite. Attempting to
> causes an immediate crash.
> Is there a known workaround or fix for this issue? I'd like to make the font
> size a little larger.
Maybe you have not seen responses because it is not a postgres bug.
Pgadmin is a separate program, which has its own support lists ( see
http://www.pgadmin.org/support/ , this is as far as I can help you
given I do not use neither Macinstosh nor pgadmin currently ).
Francisco Olarte.
From | Date | Subject | |
---|---|---|---|
Next Message | Tom Lane | 2015-08-03 16:40:12 | Re: BUG #13533: jsonb_populate_record does not work when the value is a simple string |
Previous Message | chokobarokoo | 2015-08-03 14:57:30 | BUG #13535: Cached 1600 columns |