Skip to content

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

Description

@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.

Image

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions