Hi On Fri, Dec 16, 2016 at 8:47 AM, Akshay Joshi <akshay.jo...@enterprisedb.com > wrote:
> Hi All > > Please 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. 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 Page Blog: http://pgsnake.blogspot.com Twitter: @pgsnake EnterpriseDB UK: http://www.enterprisedb.com The Enterprise PostgreSQL Company
