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
01-typography-prototype.diff
Description: Binary data
