What is devtools_options.yaml?

[osaxma]

A devtools_options.yaml file appeared in my project out of nowhere, and I couldn't find any information about it except that it's mentioned in #1632 .. only four results in Google when I searched for it:

I think it'd be helpful if the file had a documentation explaining what is it, what does it do, how it can be used, should it be checked in, etc.

Something Similar to pubspec.yaml and analysis_options.yaml where they have a header explaining the purpose of the files, then documentation for their tags where optional tags are commented out to know about their existence and so on.

For reference, the file I have looks like this:

Cheers

[feinstein]

@kenzieschmoll should devtools_options.yaml go into the .gitignore?

[kenzieschmoll]

@feinstein this is up to the user. This is documented here: https://docs.flutter.dev/tools/devtools/extensions#configure-extension-enablement-states