Hi Shirley,
It's easy on the eyes :)
~M
On Thu, Jul 13, 2017 at 10:00 PM, Shirley Wang <swang(at)pivotal(dot)io> wrote:
> 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
>