Testing out font changes in query editor tool

Поиск
Список
Период
Сортировка
От Shirley Wang
Тема Testing out font changes in query editor tool
Дата
Msg-id CAPG3WN6t6VwFUttEpwo71oY43GDj=139BwtZAxCDco00fg_2LQ@mail.gmail.com
обсуждение исходный текст
Ответы Re: Testing out font changes in query editor tool
Список pgadmin-hackers
Дерево обсуждения
Hello!

We're trying out a new font in the query editor tool. Attached is a patch that changes the font. 

We'd like to know how this change affects your experience working in the query tool. 

Thanks!
George and Shirley
Вложения

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

Предыдущее
От: Dave Page
Дата:
Сообщение: pgAdmin 4 commit: Tag REL-1_6 has been created.
Следующее
От: Josh Berkus
Дата:
Сообщение: pgadmin-for-web is going nowhere