HiOn Fri, Dec 16, 2016 at 8:47 AM, Akshay Joshi <akshay.joshi@enterprisedb.com> wrote:Hi AllPlease find the attached patch to fix the RM #1807 Query Tool Does Not Recognize When File Changes Have Been Saved.If I open a file with the patch applied, and make a change (add a space to the end), it's correctly detected. If I then undo the change by deleting the space, the file is still marked as dirty.
Hi AllPlease find the attached patch to fix the RM #1807 Query Tool Does Not Recognize When File Changes Have Been Saved.
If I then clear the window entirely, the save button is disabled, but the tab still shows the file is dirty (the *).
Also - the patch seems to undo the change I made in 4a280b251755091af9bf56bcdee964601df104ae.
-- Dave PageBlog: http://pgsnake.blogspot.comTwitter: @pgsnakeEnterpriseDB UK: http://www.enterprisedb.comThe Enterprise PostgreSQL Company
pgadmin-hackers by date:
Соглашаюсь с условиями обработки персональных данных