Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Workspace setting for teipublisher.apiList not recognized #14

Open
kthth opened this issue Sep 20, 2022 · 0 comments
Open

Workspace setting for teipublisher.apiList not recognized #14

kthth opened this issue Sep 20, 2022 · 0 comments

Comments

@kthth
Copy link

kthth commented Sep 20, 2022

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

grafik

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?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant