| Index: third_party/WebKit/Source/devtools/front_end/source_frame/module.json
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/source_frame/module.json b/third_party/WebKit/Source/devtools/front_end/source_frame/module.json
|
| index e32c25cd23ca4c73ac05f0fc59676b7e0cbac188..ca4f0e5a96eab9448eb3ef13636e559eab186948 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/source_frame/module.json
|
| +++ b/third_party/WebKit/Source/devtools/front_end/source_frame/module.json
|
| @@ -8,24 +8,44 @@
|
| "settingType": "enum",
|
| "defaultValue": " ",
|
| "options": [
|
| - { "title": "Set indentation to 2 spaces", "text": "2 spaces", "value": " " },
|
| - { "title": "Set indentation to 4 spaces", "text": "4 spaces", "value": " " },
|
| - { "title": "Set indentation to 8 spaces", "text": "8 spaces", "value": " " },
|
| - { "title": "Set indentation to tab character", "text": "Tab character", "value": "\t" }
|
| + {
|
| + "title": "Set indentation to 2 spaces",
|
| + "text": "2 spaces",
|
| + "value": " "
|
| + },
|
| + {
|
| + "title": "Set indentation to 4 spaces",
|
| + "text": "4 spaces",
|
| + "value": " "
|
| + },
|
| + {
|
| + "title": "Set indentation to 8 spaces",
|
| + "text": "8 spaces",
|
| + "value": " "
|
| + },
|
| + {
|
| + "title": "Set indentation to tab character",
|
| + "text": "Tab character",
|
| + "value": "\t"
|
| + }
|
| ]
|
| }
|
| ],
|
| "dependencies": [
|
| "text_editor",
|
| "ui",
|
| - "platform"
|
| + "platform",
|
| + "persistence",
|
| + "diff"
|
| ],
|
| "scripts": [
|
| "SourcesTextEditor.js",
|
| "FontView.js",
|
| "ImageView.js",
|
| "SourceFrame.js",
|
| - "ResourceSourceFrame.js"
|
| + "ResourceSourceFrame.js",
|
| + "UISourceCodeFrame.js",
|
| + "SourceCodeDiff.js"
|
| ],
|
| "resources": [
|
| "fontView.css",
|
|
|