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

pgAdmin v1.12.2: SQL output grid font base

From: "Rainer Kuhi" <rainer(dot)kuhi(at)gmail(dot)com>
To: <pgadmin-support(at)postgresql(dot)org>
Subject: pgAdmin v1.12.2: SQL output grid font base
Date: 2011-01-05 12:45:37
Message-ID: 4d246807.6720ec0a.5ddf.ffffcaea@mx.google.com (view raw or flat)
Thread:
Lists: pgadmin-support
Hi,

* Platform you're running on: win xp 32bit
* Language: en
* Distribution you used: binary
* Version you tested: 1.12.2

In 1.10 and 1.12.1 the font of SQL query output contents depends on the
Preferences font (set from Options -> Preferences -> Font), but in 1.12.1 it
is now tied to Query Tool font (set from Options -> Query Tool -> Font) .

Is it intentional or a bug? And maybe it makes sense to give user an option
to change the Output grid content font separately from Preference and Query
Tool fonts. But, my preference is to choose rather Preferences font instead
of Query Tool editor font ;)

Test case...
Preferences font: Tahoma, 8
Query Tool font: Courier New, 9
Result: http://img23.imageshack.us/img23/7990/pgadmin1122font.png

Thanks,
-- Rainer


In response to

Responses

pgadmin-support by date

Next:From: Guillaume LelargeDate: 2011-01-05 17:16:08
Subject: Re: pgAdmin v1.12.2: SQL output grid font base
Previous:From: Raymond O'DonnellDate: 2011-01-05 12:28:59
Subject: Re: PostgreSQL 8.3: Start service Error message

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