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

CLARIFICATION NEEDED : ignoreSync and "machine" scope #7638

Open
Malix-Labs opened this issue Sep 28, 2024 · 0 comments
Open

CLARIFICATION NEEDED : ignoreSync and "machine" scope #7638

Malix-Labs opened this issue Sep 28, 2024 · 0 comments
Assignees
Labels
doc-enhancement suggested addition or improvement
Milestone

Comments

@Malix-Labs
Copy link

Malix-Labs commented Sep 28, 2024

As of now, ignoreSync has no documentation except of https://code.visualstudio.com/updates/v1_75#_ignore-a-setting-to-sync

The "machine" scope which also has no documentation except of https://code.visualstudio.com/docs/editor/settings-sync#_configuring-synced-data

Which itself doesn't mention the difference with ignoreSync, which makes both option confusing

Documentation should be added in https://code.visualstudio.com/api/references/contribution-points#contributes.configuration

This is what ignoreSync looks like from the LSP :

LSP

@Malix-Labs Malix-Labs changed the title Feature Request : ignoreSync from contributes.configuration Feature Request : ignoreSync and "machine" scope Sep 29, 2024
@Malix-Labs Malix-Labs changed the title Feature Request : ignoreSync and "machine" scope MISLEADING : ignoreSync and "machine" scope Sep 29, 2024
@Malix-Labs Malix-Labs changed the title MISLEADING : ignoreSync and "machine" scope CLARIFICATION NEEDED : ignoreSync and "machine" scope Sep 29, 2024
@sandy081 sandy081 added the doc-enhancement suggested addition or improvement label Sep 30, 2024
@sandy081 sandy081 added this to the October 2024 milestone Sep 30, 2024
@sandy081 sandy081 modified the milestones: October 2024, November 2024 Oct 25, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
doc-enhancement suggested addition or improvement
Projects
None yet
Development

No branches or pull requests

2 participants