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 Bugs, which is subscribed to 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 -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
