Chromium Code Reviews| Index: Source/devtools/front_end/SettingsScreen.js |
| diff --git a/Source/devtools/front_end/SettingsScreen.js b/Source/devtools/front_end/SettingsScreen.js |
| index b48416844d7ce7f6f29dafea74e9ef7281bef3ac..342ef1bf264c31c9853868214cbc94d6f8659759 100644 |
| --- a/Source/devtools/front_end/SettingsScreen.js |
| +++ b/Source/devtools/front_end/SettingsScreen.js |
| @@ -349,9 +349,9 @@ WebInspector.GenericSettingsTab = function() |
| p = this._appendSection(WebInspector.UIString("Sources")); |
| p.appendChild(this._createCheckboxSetting(WebInspector.UIString("Search in content scripts"), WebInspector.settings.searchInContentScripts)); |
| - p.appendChild(this._createCheckboxSetting(WebInspector.UIString("Enable source maps"), WebInspector.settings.sourceMapsEnabled)); |
| - if (WebInspector.experimentsSettings.isEnabled("sass")) |
| - p.appendChild(this._createCheckboxSetting(WebInspector.UIString("Auto-reload CSS upon Sass save"), WebInspector.settings.cssReloadEnabled)); |
| + p.appendChild(this._createCheckboxSetting(WebInspector.UIString("Enable JS source maps"), WebInspector.settings.jsSourceMapsEnabled)); |
| + p.appendChild(this._createCheckboxSetting(WebInspector.UIString("Enable CSS source maps"), WebInspector.settings.cssSourceMapsEnabled)); |
| + p.appendChild(this._createCheckboxSetting(WebInspector.UIString("Auto-reload generated CSS"), WebInspector.settings.cssReloadEnabled)); |
|
vsevik
2013/07/12 13:07:08
Gray out when css source maps are disabled.
|
| var indentationElement = this._createSelectSetting(WebInspector.UIString("Indentation"), [ |
| [ WebInspector.UIString("2 spaces"), WebInspector.TextUtils.Indent.TwoSpaces ], |
| [ WebInspector.UIString("4 spaces"), WebInspector.TextUtils.Indent.FourSpaces ], |