| 1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253 |
- define [
- "base"
- "ide/editor/Document"
- ], (App, Document) ->
- App.controller "SavingNotificationController", ["$scope", "$interval", "ide", ($scope, $interval, ide) ->
- setInterval () ->
- pollSavedStatus()
- , 1000
- $(window).bind 'beforeunload', () =>
- warnAboutUnsavedChanges()
- $scope.docSavingStatus = {}
- pollSavedStatus = () ->
- oldStatus = $scope.docSavingStatus
- oldUnsavedCount = $scope.docSavingStatusCount
- newStatus = {}
- newUnsavedCount = 0
- for doc_id, doc of Document.openDocs
- saving = doc.pollSavedStatus()
- if !saving
- newUnsavedCount++
- 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
- doc: ide.fileTreeManager.findEntityById(doc_id)
- }
- # for performance, only update the display if the old or new
- # counts of unsaved files are nonzeror. If both old and new
- # unsaved counts are zero then we know we are in a good state
- # and don't need to do anything to the UI.
- if newUnsavedCount or oldUnsavedCount
- $scope.docSavingStatus = newStatus
- $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."
- ]
|
