| 1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162 |
- define [
- "base"
- "ide/editor/Document"
- ], (App, Document) ->
- App.controller "SavingNotificationController", ["$scope", "$interval", "ide", ($scope, $interval, ide) ->
- setInterval () ->
- pollSavedStatus()
- , 1000
- $(window).bind 'beforeunload', () =>
- warnAboutUnsavedChanges()
- lockEditorModal = null # modal showing "connection lost"
- MAX_UNSAVED_SECONDS = 15 # lock the editor after this time if unsaved
- $scope.docSavingStatus = {}
- pollSavedStatus = () ->
- oldStatus = $scope.docSavingStatus
- oldUnsavedCount = $scope.docSavingStatusCount
- newStatus = {}
- newUnsavedCount = 0
- maxUnsavedSeconds = 0
- for doc_id, doc of Document.openDocs
- saving = doc.pollSavedStatus()
- if !saving
- newUnsavedCount++
- if oldStatus[doc_id]?
- newStatus[doc_id] = oldStatus[doc_id]
- t = newStatus[doc_id].unsavedSeconds += 1
- if t > maxUnsavedSeconds
- maxUnsavedSeconds = t
- else
- newStatus[doc_id] = {
- unsavedSeconds: 0
- doc: ide.fileTreeManager.findEntityById(doc_id)
- }
- if newUnsavedCount > 0 and t > MAX_UNSAVED_SECONDS and not lockEditorModal
- lockEditorModal = ide.showLockEditorMessageModal(
- "Connection lost"
- "Sorry, the connection to the server is down."
- )
- lockEditorModal.result.finally () ->
- lockEditorModal = null # unset the modal if connection comes back
- if lockEditorModal and newUnsavedCount is 0
- lockEditorModal.dismiss "connection back up"
- # 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()
- warnAboutUnsavedChanges = () ->
- if Document.hasUnsavedChanges()
- return "You have unsaved changes. If you leave now they will not be saved."
- ]
|
