Updating Workspace settings by selecting options from the Tree view panel.

[FALLAI-Denis]

Hi,

Better Todo Tree, much like Todo Tree, allows some options to be changed via a context menu (right-click) within the Tree view.
However, these options are saved in the Workspace settings—which, in our case, corresponds to a Git repository.

We believe this is not the best approach, as these are user preferences that should not be imposed on other users (of the Git repository), given that Workspace settings take precedence over User settings.

We would like:

• if possible, to be prompted to choose where to save options enabled via the context menu (Workspace settings vs. User settings)
• failing that, for options to be saved in the User settings (without the option to save them in the Workspace settings)

Thanks.