JeremyYao commented on PR #1521: URL: https://github.com/apache/daffodil-vscode/pull/1521#issuecomment-3523644935
> @JeremyYao I think what you are saying would need to be a different pull request and not handled in this one. Your suggestion seems to be renaming some setting names for the global configuration so they have our extension name before it is that correct? If so I think that is really good idea but again should be done in a different PR and not this one. That's correct. Good point about how the renaming the setting names to have our extension name before it should be another issue. I'll be sure to create a GH issue for that. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
