Skip to content

Conversation

@Yoyokrazy
Copy link
Collaborator

Fixes: #196353

This mirrors the approach of word based suggestions and the associated settings there. No behavior changes at all with this, just much improved readability and the behavior more closely aligns with the setting descriptions/names.

Can also tweak and merge the settings into a single setting with multiple accepted value sets (ie boolean | enum), though to some effect I think that may reduce discoverability.

@Yoyokrazy Yoyokrazy requested review from jrieken and rebornix November 7, 2023 23:37
@Yoyokrazy Yoyokrazy self-assigned this Nov 7, 2023
@Yoyokrazy Yoyokrazy changed the title Change Change setting name of multi-document occurrence highlighting Nov 7, 2023
@vscodenpa vscodenpa added this to the November 2023 milestone Nov 7, 2023
@Yoyokrazy Yoyokrazy requested a review from rebornix November 9, 2023 22:35
@Yoyokrazy Yoyokrazy changed the title Change setting name of multi-document occurrence highlighting Merge x-doc and occurrence setting, merge word based suggestion settings Nov 10, 2023
@Yoyokrazy Yoyokrazy merged commit 6f2f46e into main Nov 10, 2023
@Yoyokrazy Yoyokrazy deleted the influential-junglefowl branch November 10, 2023 21:17
@sean-mcmanus
Copy link
Contributor

sean-mcmanus commented Dec 12, 2023

@Yoyokrazy This PR breaks our extension's default settings -- what is the recommended way for us to handle this? There doesn't appear to be any migration or compatibility in place for settings values set by extensions. I have PR at https://github.com/microsoft/vscode-cpptools/pull/11773/files that fixes it for 1.85.0, but that would regress old VS Code versions unless we increased our minimum supported VS Code version (causing users with 1.84.0 to not see our updates).

i.e. it appears that user settings have a migration/conversion in place, which isn't being run on the extension's "configurationDefaults" in package.json

I created a bug report at #200685 .

@github-actions github-actions bot locked and limited conversation to collaborators Dec 25, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Merge editor.occurrencesHighlight and editor.multiDocumentOccurrencesHighlight setting

6 participants