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

Deleting a setting (configureArgs or generator related) does not have immediate effect #1512

Closed
andreeis opened this issue Oct 28, 2020 · 0 comments
Labels
enhancement an enhancement to the product that is either not present or an improvement to an existing feature Feature: configure Feature: settings
Milestone

Comments

@andreeis
Copy link
Contributor

It looks like there may be a bug with deleting the whole setting not taking effect, but I'm not going to block this PR on that. We can open a bug for it. The important scenario of being able to add settings to a fresh folder appears to be working, so I'll approve.

Originally posted by @bobbrow in #1500 (comment)

@andreeis andreeis added this to the 1.6.0 milestone Oct 28, 2020
@bobbrow bobbrow modified the milestones: 1.6.0, 1.7.0 Feb 16, 2021
@bobbrow bobbrow modified the milestones: 1.7.0, 1.8.0 Apr 23, 2021
@bobbrow bobbrow modified the milestones: 1.8.0, 1.9.0 Aug 17, 2021
@bobbrow bobbrow modified the milestones: 1.9.0, On Deck Oct 15, 2021
@gcampbell-msft gcampbell-msft added enhancement an enhancement to the product that is either not present or an improvement to an existing feature and removed bug a bug in the product labels Jul 5, 2023
@github-project-automation github-project-automation bot moved this to Triage Needed in CMake Tools Nov 29, 2023
@gcampbell-msft gcampbell-msft moved this from Triage Needed to Pending Prioritization in CMake Tools Nov 29, 2023
@gcampbell-msft gcampbell-msft closed this as not planned Won't fix, can't repro, duplicate, stale Oct 21, 2024
@github-project-automation github-project-automation bot moved this from Pending Prioritization to Completed in CMake Tools Oct 21, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement an enhancement to the product that is either not present or an improvement to an existing feature Feature: configure Feature: settings
Projects
Status: Completed
Development

No branches or pull requests

3 participants