| // Copyright 2024 The Flutter Authors | |
| // Use of this source code is governed by a BSD-style license that can be | |
| // found in the LICENSE file or at https://developers.google.com/open-source/licenses/bsd. | |
| /// Location where DevTools extension assets will be served, relative to where | |
| /// DevTools assets are served (build/). | |
| const extensionRequestPath = 'devtools_extensions'; | |
| /// The name of the options file where extension enablement states are stored | |
| /// in a user's project. | |
| const devtoolsOptionsFileName = 'devtools_options.yaml'; | |
| /// The depth to search the user's IDE workspace roots for projects with | |
| /// DevTools extensions. | |
| /// | |
| /// We use a larger depth than the default to reduce the risk of missing | |
| /// static extensions in the user's project. | |
| const staticExtensionsSearchDepth = 8; |