Index: third_party/WebKit/Source/devtools/front_end/sources/module.json |
diff --git a/third_party/WebKit/Source/devtools/front_end/sources/module.json b/third_party/WebKit/Source/devtools/front_end/sources/module.json |
index afeede4091d46ba40c95f2eccb0c0b0733bd3e45..ec95b622e2de12968fb64515f11cc5fe6c165610 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/sources/module.json |
+++ b/third_party/WebKit/Source/devtools/front_end/sources/module.json |
@@ -299,6 +299,14 @@ |
{ |
"type": "setting", |
"category": "Sources", |
+ "title": "Automatically reveal files in navigator", |
+ "settingName": "autoRevealInNavigator", |
+ "settingType": "boolean", |
+ "defaultValue": false |
+ }, |
+ { |
+ "type": "setting", |
+ "category": "Sources", |
"title": "Enable JavaScript source maps", |
"settingName": "jsSourceMapsEnabled", |
"settingType": "boolean", |