mirror of
https://github.com/react/react-native-devtools-frontend.git
synced 2026-10-07 20:39:31 +08:00
Tim van der Lippe
cac65d4fa0
This was a temporary flag as part of the devtools_entrypoint migration. Since that migration has concluded, we can now remove all references to it and clean up `build_release_applications.py`. R=jacktfranklin@chromium.org,aerotwist@chromium.org Bug: 1101738 Change-Id: I3ef9ec1a99bc9fc1758532124db22b3b4b1a5e2a Reviewed-on: https://chromium-review.googlesource.com/c/devtools/devtools-frontend/+/2391140 Reviewed-by: Paul Lewis <aerotwist@chromium.org> Reviewed-by: Jack Franklin <jacktfranklin@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"
|
|
]
|
|
} |