Feature/settings support custom extension repos (#539)

* [Codegen] Support custom extension repos

* [VersionMapping] Require server version "r1444" for preview
This commit is contained in:
schroda
2024-01-06 18:38:16 +01:00
committed by GitHub
parent b42c3103f1
commit 39b79c6ebe
12 changed files with 245 additions and 33 deletions

View File

@@ -233,6 +233,23 @@
"all": "All",
"other": "Other"
},
"settings": {
"repositories": {
"custom": {
"dialog": {
"action": {
"button": {
"add": "Add repository"
}
}
},
"label": {
"description": "Add custom repositories from which extensions can be installed",
"title": "Custom repositories"
}
}
}
},
"state": {
"label": {
"installed": "Installed",
@@ -247,6 +264,7 @@
},
"global": {
"button": {
"add": "Add",
"browse": "Browse",
"cancel": "Cancel",
"clear": "Clear",
@@ -326,6 +344,7 @@
"none": "None",
"other": "Other",
"password": "Password",
"placeholder": "Placeholder",
"sort": "Sort",
"unknown": "Unknown",
"username": "Username"