Added indent type, indent size and wrap mode to editors

This commit is contained in:
Thomas Miceli
2023-04-03 00:40:39 +02:00
parent f9f5b140b8
commit 2aee52e06c
7 changed files with 179 additions and 38 deletions

16
package-lock.json generated
View File

@@ -10,6 +10,9 @@
"devDependencies": {
"@codemirror/commands": "^6.2.2",
"@codemirror/lang-javascript": "^6.1.4",
"@codemirror/language": "^6.6.0",
"@codemirror/state": "^6.2.0",
"@codemirror/text": "^0.19.6",
"@codemirror/view": "^6.9.3",
"@tailwindcss/forms": "^0.5.3",
"@tailwindcss/typography": "^0.5.9",
@@ -150,6 +153,13 @@
"integrity": "sha512-69QXtcrsc3RYtOtd+GsvczJ319udtBf1PTrr2KbLWM/e2CXUPnh0Nz9AUo8WfhSQ7GeL8dPVNUmhQVgpmuaNGA==",
"dev": true
},
"node_modules/@codemirror/text": {
"version": "0.19.6",
"resolved": "https://registry.npmjs.org/@codemirror/text/-/text-0.19.6.tgz",
"integrity": "sha512-T9jnREMIygx+TPC1bOuepz18maGq/92q2a+n4qTqObKwvNMg+8cMTslb8yxeEDEq7S3kpgGWxgO1UWbQRij0dA==",
"deprecated": "As of 0.20.0, this package has been merged into @codemirror/state",
"dev": true
},
"node_modules/@codemirror/view": {
"version": "6.9.3",
"resolved": "https://registry.npmjs.org/@codemirror/view/-/view-6.9.3.tgz",
@@ -4913,6 +4923,12 @@
"integrity": "sha512-69QXtcrsc3RYtOtd+GsvczJ319udtBf1PTrr2KbLWM/e2CXUPnh0Nz9AUo8WfhSQ7GeL8dPVNUmhQVgpmuaNGA==",
"dev": true
},
"@codemirror/text": {
"version": "0.19.6",
"resolved": "https://registry.npmjs.org/@codemirror/text/-/text-0.19.6.tgz",
"integrity": "sha512-T9jnREMIygx+TPC1bOuepz18maGq/92q2a+n4qTqObKwvNMg+8cMTslb8yxeEDEq7S3kpgGWxgO1UWbQRij0dA==",
"dev": true
},
"@codemirror/view": {
"version": "6.9.3",
"resolved": "https://registry.npmjs.org/@codemirror/view/-/view-6.9.3.tgz",