DevTools: Suggest inspector reload after workspace mappings changes in settings.

Source/devtools/front_end/settings/EditFileSystemDialog.js

 /*
  * Copyright (C) 2013 Google Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions are
  * met:
  *
  *     * Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
  *     * Redistributions in binary form must reproduce the above
@@ skipping 70 matching lines @@
 
     this._excludedFolderList = new WebInspector.EditableSettingsList([pathColumn], this._excludedFolderValueProvider.bind(this), this._excludedFolderValidate.bind(this), this._excludedFolderEdit.bind(this));
     this._excludedFolderList.addEventListener(WebInspector.SettingsList.Events.Removed, this._excludedFolderRemovedfromList.bind(this));
     this._excludedFolderList.element.classList.add("excluded-folders-list");
     this._excludedFolderListContainer.appendChild(this._excludedFolderList.element);
     this._excludedFolderEntries = new StringMap();
     for (var i = 0; i < excludedFolderEntries.length; ++i)
         this._addExcludedFolderRow(excludedFolderEntries[i]);
 
     this.element.tabIndex = 0;
+    this._hasMappingChanges = false;
 }
 
 WebInspector.EditFileSystemDialog.show = function(element, fileSystemPath)
 {
     WebInspector.Dialog.show(element, new WebInspector.EditFileSystemDialog(fileSystemPath));
     var glassPane = document.getElementById("glass-pane");
     glassPane.classList.add("settings-glass-pane");
 }
 
 WebInspector.EditFileSystemDialog.prototype = {
@@ skipping 29 matching lines @@
      * @param {!Element} relativeToElement
      */
     position: function(element, relativeToElement)
     {
         this._relativeToElement = relativeToElement;
         this._resize();
     },
 
     willHide: function(event)
     {
+        if (!this._hasMappingChanges)
+            return;
+        if (window.confirm(WebInspector.UIString("It is recommended to restart inspector after making these changes. Would you like to restart it?")))

[dgozman, 2014/08/01 10:34:10]

Should we use the term "DevTools" instead of "inspector"? That's the name users
know.

+            WebInspector.reload();
     },
 
     _fileMappingAdded: function(event)
     {
         var entry = /** @type {!WebInspector.FileSystemMapping.Entry} */ (event.data);
         this._addMappingRow(entry);
     },
 
     _fileMappingRemoved: function(event)
     {
@@ skipping 72 matching lines @@
      * @param {!WebInspector.Event} event
      */
     _fileMappingRemovedfromList: function(event)
     {
         var urlPrefix = /** @type{?string} */ (event.data);
         if (!urlPrefix)
             return;
 
         var entry = this._entries[urlPrefix];
         WebInspector.isolatedFileSystemManager.mapping().removeFileMapping(entry.fileSystemPath, entry.urlPrefix, entry.pathPrefix);
+        this._hasMappingChanges = true;
     },
 
     /**
      * @param {string} urlPrefix
      * @param {string} pathPrefix
      * @return {boolean}
      */
     _addFileMapping: function(urlPrefix, pathPrefix)
     {
         var normalizedURLPrefix = this._normalizePrefix(urlPrefix);
         var normalizedPathPrefix = this._normalizePrefix(pathPrefix);
         WebInspector.isolatedFileSystemManager.mapping().addFileMapping(this._fileSystemPath, normalizedURLPrefix, normalizedPathPrefix);
+        this._hasMappingChanges = true;
         this._fileMappingsList.selectItem(normalizedURLPrefix);
         return true;
     },
 
     /**
      * @param {string} prefix
      * @return {string}
      */
     _normalizePrefix: function(prefix)
     {
@@ skipping 142 matching lines @@
     {
         WebInspector.Dialog.hide();
     },
 
     onEnter: function()
     {
     },
 
     __proto__: WebInspector.DialogDelegate.prototype
 }