mirror of
https://github.com/react/react-native-devtools-frontend.git
synced 2026-10-10 21:54:47 +08:00
Joey Arhar
19e85ccca5
Screenshots: https://imgur.com/a/0rtukft Bug: 605262 Change-Id: I1049d2196e51193419b9dd7ebbe7105a8655a631 Reviewed-on: https://chromium-review.googlesource.com/c/1321570 Commit-Queue: Joey Arhar <jarhar@chromium.org> Reviewed-by: Dmitry Gozman <dgozman@chromium.org> Cr-Original-Commit-Position: refs/heads/master@{#627166} Cr-Mirrored-From: https://chromium.googlesource.com/chromium/src Cr-Mirrored-Commit: 9eb859773e133754b856482a4b6ea79ba39412fe
65 lines
1.7 KiB
JSON
65 lines
1.7 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"
|
|
],
|
|
"scripts": [
|
|
"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"
|
|
]
|
|
}
|