Testing out font changes in query editor tool - Mailing list pgadmin-hackers

From Shirley Wang
Subject Testing out font changes in query editor tool
Date
Msg-id CAPG3WN6t6VwFUttEpwo71oY43GDj=139BwtZAxCDco00fg_2LQ@mail.gmail.com
Whole thread Raw
Responses Re: Testing out font changes in query editor tool
List 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
Attachment

pgadmin-hackers by date:

Previous
From: Dave Page
Date:
Subject: pgAdmin 4 commit: Tag REL-1_6 has been created.
Next
From: Josh Berkus
Date:
Subject: pgadmin-for-web is going nowhere