Эх сурвалжийг харах

Report unsaved changes after 60 seconds

James Allen 11 жил өмнө
parent
commit
2476c1e868

+ 8 - 0
services/web/public/coffee/ide/editor/controllers/SavingNotificationController.coffee

@@ -24,6 +24,8 @@ define [
 					if oldStatus[doc_id]?
 						newStatus[doc_id] = oldStatus[doc_id]
 						newStatus[doc_id].unsavedSeconds += 1
+						if newStatus[doc_id].unsavedSeconds == 60
+							reportUnsavedChanges(doc)
 					else
 						newStatus[doc_id] = {
 							unsavedSeconds: 0
@@ -39,6 +41,12 @@ define [
 				$scope.docSavingStatusCount = newUnsavedCount
 				$scope.$apply()
 
+		reportUnsavedChanges = (doc) ->
+			ide.reportError new Error("unsaved changes"), {
+				inflightOp: doc?.getInflightOp(),
+				pendingOp: doc?.getPendingOp()
+			}
+
 		warnAboutUnsavedChanges = () ->
 			if Document.hasUnsavedChanges()
 				return "You have unsaved changes. If you leave now they will not be saved."