Workspace setting for teipublisher.apiList not recognized
kthth opened this issue · 0 comments
kthth commented
In a repository, I've stored a .vscode/settings.json
file:
{
"workbench.colorTheme": "Abyss",
"teipublisher.endpoint": "https://editionen.bbf.dipf.de/exist/apps/briefedition-friedrich-froebel",
"teipublisher.apiList": [
{
"name": "places",
"label": "Orte GND",
"plugin": "gnd",
"template": "<placeName ref=\"https://d-nb.info/gnd/${id}\">${0:$TM_SELECTED_TEXT}</placeName>"
},
{
"name": "people",
"label": "Personen GND",
"plugin": "gnd",
"template": "<persName ref=\"https://d-nb.info/gnd/${id}\">${0:$TM_SELECTED_TEXT}</persName>"
}
]
}
colorTheme
is there to check instantly whether the settings got picked up. In the VSCode GUI settings editor I can also see that the endpoing got picked up
The apiList
settings, however, are not recognized. The template is either the original one that comes with the plugin or things that I define in my global user setting.json
. They are not present in the GUI, either.
Any clues?