Hello!
We're trying out a new font in the query editor tool. Attached is a patchthat changes the font.
We'd like to know how this change affects your experience working in thequery tool.
Thanks!George and Shirley