| Index: Source/devtools/front_end/Settings.js
|
| diff --git a/Source/devtools/front_end/Settings.js b/Source/devtools/front_end/Settings.js
|
| index 72e276199687c8f7056356bfe97c6e3afeeed1d1..eafaa88a67008625f09ca9fc789e302091ccd34f 100644
|
| --- a/Source/devtools/front_end/Settings.js
|
| +++ b/Source/devtools/front_end/Settings.js
|
| @@ -279,6 +279,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();
|
| }
|
|
|