We are sorry that we do not always have the capacity to review all
reported bugs in a timely manner. You reported this bug some time ago
and there have been many changes in Ubuntu since that time.
Ubuntu 12.04 (precise) reached end-of-life on April 28, 2017.
Do you still see a problem related to the one that you reported in a
currently supported version of Ubuntu?
Please let us know if you do as I can't reproduce the issue with gedit
3.28 in Ubuntu 18.04. Alternatively, this bug report can be left to
expire in approximately 60 days time.
Thank you for helping make Ubuntu better.related
Paul White
[Ubuntu Bug Squad]
** Changed in: gedit (Ubuntu)
Status: New => Incomplete
--
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/1034878
Title:
gedit doesn't notice when an open file is replaced by an older version
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gedit/+bug/1034878/+subscriptions
--
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
