Hi AllPlease find the attached patch to fix the RM #1807 Query Tool Does Not Recognize When File Changes Have Been Saved.
pgadmin-hackers by date:
Соглашаюсь с условиями обработки персональных данных