On Mon, Jul 3, 2017 at 5:36 AM, Dave Page <dpage@pgadmin.org> wrote:
On Fri, Jun 30, 2017 at 12:19 PM, Shirley Wang <swang@pivotal.io> wrote:
Hello!
Currently the app uses 'monospace' to define the font family for SQL queries and messages, which looks a little squished when in uppercase. PT mono is another monospaced font (available on Google fonts) that looks similar to 'monospace' but is more legible for uppercase.
PT Mono:
Monospace
Thoughts?
I'm not sure I like it. It looks a little like the old-school "digital" font; the sort of thing they used in the movie War Games.
As an aside, font used in the movie War Games actually kinda seels it to me in my book.
Looking at the two the other day, it seemed like the lower case fonts are pretty much the same but the Capital letters of PT Mono are spaced out a bit more making it easier to read.