I am currently running PgAdmin 3 v.1.20 on OS X 10.10.4. PgAdmin crashes every time I try to change the font in the preferences menu.
Is there any workaround? I've read that one can use Ctrl-+ to increase the font size, but I've tried different key combinations on my mac and no luck so far.
