mirror of
https://github.com/react/react-native-devtools-frontend.git
synced 2026-09-30 17:27:22 +08:00
This was a temporary flag used during the build_release_applications to GN migration. R=aerotwist@chromium.org Bug: 1131500 Change-Id: I8a772bcc4bee31dbd3270bf7ef62d8c97941024a Reviewed-on: https://chromium-review.googlesource.com/c/devtools/devtools-frontend/+/2484716 Reviewed-by: Paul Lewis <aerotwist@chromium.org> Commit-Queue: Tim van der Lippe <tvanderlippe@chromium.org>
66 lines
1.4 KiB
JSON
66 lines
1.4 KiB
JSON
{
|
|
"extensions": [
|
|
{
|
|
"type": "setting",
|
|
"category": "Sources",
|
|
"title": "Default indentation:",
|
|
"settingName": "textEditorIndent",
|
|
"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"
|
|
}
|
|
]
|
|
}
|
|
],
|
|
"dependencies": [
|
|
"text_editor",
|
|
"ui",
|
|
"platform",
|
|
"persistence",
|
|
"formatter",
|
|
"object_ui",
|
|
"workspace_diff"
|
|
],
|
|
"modules": [
|
|
"source_frame.js",
|
|
"source_frame-legacy.js",
|
|
"BinaryResourceViewFactory.js",
|
|
"SourcesTextEditor.js",
|
|
"FontView.js",
|
|
"ImageView.js",
|
|
"SourceFrame.js",
|
|
"ResourceSourceFrame.js",
|
|
"JSONView.js",
|
|
"XMLView.js",
|
|
"PreviewFactory.js",
|
|
"SourceCodeDiff.js"
|
|
],
|
|
"resources": [
|
|
"fontView.css",
|
|
"imageView.css",
|
|
"jsonView.css",
|
|
"messagesPopover.css",
|
|
"xmlTree.css",
|
|
"xmlView.css",
|
|
"resourceSourceFrame.css"
|
|
]
|
|
} |