[SOLVED] Mystery: Cinnamon menu translation strings for applets and desklets

[Pjotr]

I'm a Dutch translator for Linux Mint. Some time ago, I've applied new Dutch translations for "applet" and "desklet" in Cinnamon. On Launchpad:
https://translations.launchpad.net/linu ... t/+lang/nl

Those new translations successfully show up in 19.2 Cinnamon. Unfortunately with one notable exception: the section Preferences in the Cinnamon menu. In there, "applets" and "desklets" still have their old Dutch translations. Where can I find the translatable strings for that, in order to repair this?

[gm10]

You've done all you can, it's up to Clem now (he needs to run the generate_additional_files.py script for Cinnamon which will update the launchers and policy files with new translations, guess he forgot to do that once more before release).

[Pjotr]

It will be fixed by Clem:
https://blog.linuxmint.com/?p=3786#comment-150476