Changing results grid font

Поиск
Список
Период
Сортировка
От CUNDILL J.M. (308032)
Тема Changing results grid font
Дата
Msg-id 2F969DBFC2E0824DAA17A7BE6B84EA650BCA176B@ccs-mail1.singleton.swan.ac.uk
обсуждение исходный текст
Ответы Re: Changing results grid font  (Andreas Pflug <pgadmin@pse-consulting.de>)
Список pgadmin-support
Дерево обсуждения 
I am using pgadmin3-1_0_2 on Windows XP and finding the font used in the
data results grid smaller than I would like.  Is there a way of changing the
font and/or font size?

Jonathan

В списке pgadmin-support по дате отправления:

Предыдущее
От: Devin Whalen
Дата:
Сообщение: gtk errors with pgadmin3
Следующее
От: Devin Whalen
Дата:
Сообщение: Re: gtk errors with pgadmin3