Re: [pgadmin-hackers] [Design update] Style guide for pgAdmin4 - Mailing list pgadmin-hackers
I'm not aware of a change to that font. The only commits I can find that reference either Menlo or monospace are these:
Date: Thu Jul 6 13:08:29 2017 +0100UI tweaks for the query history.commit 7f5541205936e32b08a2183f00173a0c64019c8eAuthor: Joao Pedro De Almeida Pereira <jdealmeidapereira@pivotal.io>Date: Tue Jun 27 10:55:57 2017 -0400Overhaul the query history tab to allow browsing of the history and full query text. Fixes #2282Patch by Joao and the team at Pivotal.commit 1208206bc0eca2d135469258e8a209b983e668beAuthor: Shruti B Iyer <siyer@pivotal.io>Date: Tue Jun 13 09:50:41 2017 +0100Initial re-vamp of the History tab.
Oh ok, it doesn't seem like the overwrites were intentional. I find Menlo an easier typeface to read and scan than monospace, but I'm hesitant to change it especially if there's no pain associated with Monospace. I'll send out a message on the mailing list and see what the feedback is on current typeface used.
On another note, headers for tables (for example under statistics tab) are currently bolded and 12px. Headers for dialogs are 13px and bold. To keep it consistent with other typography in the app, both should be 13px and not bolded. By updating them, they will be consistent with the editor title in the query tool which is already 13px and not bolded.
Current:
Update (these are all 13px not bolded)
Editor title in query tool (currently 13px and not bolded)
pgadmin-hackers by date: