code: function _onDocumentSaved(event, doc) {
          if (!Inspector.connected() || !_server) {
              return;
          }
  
          var absolutePath            = doc.file.fullPath,
              liveDocument            = absolutePath && _server.get(absolutePath),
              liveEditingEnabled      = liveDocument && liveDocument.isLiveEditingEnabled  && liveDocument.isLiveEditingEnabled();
  
          // Skip reload if the saved document has live editing enabled
          if (liveEditingEnabled) {
              return;
          }
  
          var documentUrl     = _server.pathToUrl(absolutePath),
              wasRequested    = agents.network && agents.network.wasURLRequested(documentUrl);
  
          if (wasRequested) {
              reload();
          }
      }
docs: Triggered by a documentSaved event from DocumentManager.
  @param {$.Event} event
  @param {Document} doc