From f9ed96a3e46ad17323f1873dd803e2032de733b6 Mon Sep 17 00:00:00 2001
From: Riccardo Mottola <rm@gnu.org>
Date: Mon, 5 Apr 2021 19:51:42 +0200
Subject: [PATCH] offer option to reload file

---
 Modules/Editors/ProjectCenter/PCEditor.m | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/Modules/Editors/ProjectCenter/PCEditor.m b/Modules/Editors/ProjectCenter/PCEditor.m
index 001f6b5..da39080 100644
--- a/Modules/Editors/ProjectCenter/PCEditor.m
+++ b/Modules/Editors/ProjectCenter/PCEditor.m
@@ -675,11 +675,19 @@
       PCLogInfo(self, @"File modified externally. %@ - %@", _lastSaveDate, fileModDate);
       choice = NSRunAlertPanel(@"Overwrite File?",
 			       @"File %@ was modified externally. Overwrite?",
-			       @"Cancel", nil, @"Proceed", [_path lastPathComponent]);
+			       @"Cancel", @"Reload", @"Proceed", [_path lastPathComponent]);
       if (choice == NSAlertDefaultReturn)
 	{
 	  return NO;
 	}
+      else if (choice == NSAlertAlternateReturn)
+	{
+	  NSLog(@"Self");
+	  if ([self revertFileToSaved] == YES)
+	    return NO;
+	  NSLog(@"reload failed");
+	  return NO;
+	}
     }
     
   [[NSNotificationCenter defaultCenter]