BUG #13534: Pgadmin crash when changing font - Mailing list pgsql-bugs

From mrupert@gmail.com
Subject BUG #13534: Pgadmin crash when changing font
Date
Msg-id 20150803141552.855.31636@wrigleys.postgresql.org
Whole thread Raw
Responses Re: BUG #13534: Pgadmin crash when changing font  (Francisco Olarte <folarte@peoplecall.com>)
List pgsql-bugs
The following bug has been logged on the website:

Bug reference:      13534
Logged by:          Matthew Rupert
Email address:      mrupert@gmail.com
PostgreSQL version: 9.4.4
Operating system:   Mac/Yosemite
Description:

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.

pgsql-bugs by date:

Previous
From: paulovieira@gmail.com
Date:
Subject: BUG #13533: jsonb_populate_record does not work when the value is a simple string
Next
From: chokobarokoo@hotmail.com
Date:
Subject: BUG #13535: Cached 1600 columns