| // 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; |
