| Index: Source/devtools/front_end/Settings.js
|
| diff --git a/Source/devtools/front_end/Settings.js b/Source/devtools/front_end/Settings.js
|
| index 0fdeafa6f35bb6891c5d8c716984f2adaa31627d..756804e4b5359fb17e600431de698712f7c8ff88 100644
|
| --- a/Source/devtools/front_end/Settings.js
|
| +++ b/Source/devtools/front_end/Settings.js
|
| @@ -278,6 +278,7 @@ WebInspector.ExperimentsSettings = function()
|
| this.showEditorInDrawer = this._createExperiment("showEditorInDrawer", "Show editor in drawer");
|
| this.gpuTimeline = this._createExperiment("gpuTimeline", "Show GPU data on timeline");
|
| this.applyCustomStylesheet = this._createExperiment("applyCustomStylesheet", "Allow custom UI themes");
|
| + this.jumpToPreviousLocation = this._createExperiment("jumpToPreviousLocation", "Jump between editing locations with Alt+/Alt-");
|
|
|
| this._cleanUpSetting();
|
| }
|
|
|