add function to preserve in-memory content of externally modified files

[Karl-Philipp Richter]

Rather than forcing the user to make the decision whether or not to drop changes which are preserved in memory in case the file was edited externally, I'd be nice to allow the user to preserve those modifications with a new function.

ProblemType: Bug
DistroRelease: Ubuntu 15.04
Package: gedit 3.10.4-0ubuntu10
Uname: Linux 4.1.4-040104-generic x86_64
ApportVersion: 2.17.2-0ubuntu1.3
Architecture: amd64
CurrentDesktop: Unity
Date: Sat Sep 5 04:49:14 2015
InstallationDate: Installed on 2015-06-08 (88 days ago)
InstallationMedia: Ubuntu 14.04 LTS "Trusty Tahr" - Release amd64 (20140417)
SourcePackage: gedit
UpgradeStatus: Upgraded to vivid on 2015-06-09 (87 days ago)

[Sebastien Bacher (seb128)]

Thank you for taking the time to report this bug and helping to make Ubuntu better. The issue you are reporting is an upstream one and it would be nice if somebody having it could send the bug to the developers of the software by following the instructions at https://wiki.ubuntu.com/Bugs/Upstream/GNOME. If you have done so, please tell us the number of the upstream bug (or the link), so we can add a bugwatch that will inform us about its status. Thanks in advance.