Re: pgadmin3 font patch

Поиск
Список
Период
Сортировка
От Andreas Pflug
Тема Re: pgadmin3 font patch
Дата
Msg-id 3F087D92.1060702@pse-consulting.de
обсуждение исходный текст
Ответ на Re: pgadmin3 font patch  ("Hiroshi Saito" <saito@inetrt.skcapi.co.jp>)
Список pgadmin-hackers
Hiroshi Saito wrote:

>Hi Andreas.
>
>From: "Andreas Pflug" <pgadmin@pse-consulting.de>
>(snip)
>
>
>>So there's only one solution left: the font needs to be configurable.
>>I'll add this to frmOptions.
>>
>>
>
>I agreed.
>It is an ideal by a user's choosing it optionally.
>
>
>
Font is selectable now. Default is Courier New.9 for win32 and
monospace.12 for the rest. I think this will work for most users.

Regards,
Andreas



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

Предыдущее
От: Andreas Pflug
Дата:
Сообщение: Re: ERD Plugin?
Следующее
От: Jean-Michel POURE
Дата:
Сообщение: Re: intro & compile report :)