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: (view raw, whole thread or download thread mbox)
Lists: pgadmin-support

* 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

-- Rainer

In response to


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-2017 The PostgreSQL Global Development Group