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
pgadmin-hackers by date:
Соглашаюсь с условиями обработки персональных данных