I think I finally could reproduce this bug and I have reported it upstream.
** Bug watch added: GNOME Bug Tracker #671250 https://bugzilla.gnome.org/show_bug.cgi?id=671250 ** Also affects: gedit via https://bugzilla.gnome.org/show_bug.cgi?id=671250 Importance: Unknown Status: Unknown ** Changed in: gedit (Ubuntu) Status: New => Confirmed -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gedit in Ubuntu. https://bugs.launchpad.net/bugs/893521 Title: gedit does not detect replaced open file To manage notifications about this bug go to: https://bugs.launchpad.net/gedit/+bug/893521/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
