code: function _onDocumentSaved(event, doc) {
          if (!isActive() || !_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;
          }
  
          // reload the page if the given document is a JS file related
          // to the current live document.
          if (_liveDocument.isRelated(absolutePath)) {
              if (doc.getLanguage().getId() === "javascript") {
                  _setStatus(STATUS_RELOADING);
                  _protocol.reload();
              }
          }
      }
docs: For files that don't support as-you-type live editing, but are loaded by live HTML documents
  (e.g. JS files), we want to reload the full document when they're saved.
  @param {$.Event} event
  @param {Document} doc