Skip site navigation (1) Skip section navigation (2)

Re: SQL pane font

From: Basil Bourque <basil(dot)bourque(dot)lists(at)pobox(dot)com>
To: pgadmin-support(at)postgresql(dot)org
Subject: Re: SQL pane font
Date: 2011-10-13 06:21:34
Message-ID: F02F4B94-BE6E-4402-8CE7-3B8175461877@pobox.com (view raw or flat)
Thread:
Lists: pgadmin-support
>>> You can use Control key + mouse scroll wheel for instant resizing. 
>>> For a permanent setup take a look in the File->Options menu.
>> 
>> That makes it a little difficult for me. The Logitech Marble Mouse
>> doesn't have a scroll wheel.
> 
> You do understand that you can set it in the Options dialog without the
> mousewheel?

Options (or Preferences) > Query Tool (tab) > Font setting has a bug rendering it useless. In pgAdmin 1.14.0 setting a bigger font does indeed cause the fonts to get bigger, but any table of data generated for display in the "Output Pane" of a SQL Query window fails to grow its row size vertically. So the larger font is clipped and unreadable.

Strangely, the Control+Mouse-ball-down works in the output pane! Both the font *and* the row height increase. Thanks for the tip on that mouse trick -- it is a workaround for this fixed-row-height bug. This makes demonstrating Postgres to an audience much easier.

Screen shot:
http://www.gridsgonewild.com/postgres/pgadmin_font_size_bug.png

I reported this bug in another thread (subject below). I just updated that thread with the above link to a screenshot.
Subject: Re: [pgadmin-support] Re: Bug - Rows in Query Output pane fail to grow in height when font size preference size is larger

--Basil

In response to

Responses

pgadmin-support by date

Next:From: Aleksey ChirkinDate: 2011-10-13 07:53:38
Subject: Re: SQL pane font
Previous:From: Basil BourqueDate: 2011-10-13 06:17:45
Subject: Re: Re: Bug - Rows in Query Output pane fail to grow in height when font size preference size is larger

Privacy Policy | About PostgreSQL
Copyright © 1996-2014 The PostgreSQL Global Development Group