When updating a plugin, don't reset the "isDesktopOnly" value in manifest.json

Use case or problem

When updating a plugin, isDesktopOnly value is reset to its default value.

Proposed solution

We should have an option (either globally or per plugin) to not overwrite the isDesktopOnly value.

Current workaround (optional)

Do it manually everytime you update a plugin.

Related feature requests (optional)

TBD.

What is the actual problem here?
Why do you want to have a value different from what the plugin developer has set?

Thanks for your question. Please find a more detailed usecase :

There are many plugins (ex. : List Modified and Git) which have a default isDesktopOnly value set to false.

In order to avoid sync issues and other problems between multiple devices, I prefer such plugins to be set to isDesktopOnly = true, so that they are activated on a single device and not multiple ones.

Each time these plugins are updated, I have to remember to set these values back to true because they are overwritten to their default value (false).