Closed kenzieschmoll closed 3 months ago
This PR moves some widgets out of devtools_app to devtools_app_shared so that DevTools extension authors can use them. No functional changes here, just moving code around and changed a couple methods that returned widgets to be helper widgets.
devtools_app
devtools_app_shared
Addresses part of https://github.com/flutter/devtools/issues/7793
This PR moves some widgets out of
devtools_app
todevtools_app_shared
so that DevTools extension authors can use them. No functional changes here, just moving code around and changed a couple methods that returned widgets to be helper widgets.Addresses part of https://github.com/flutter/devtools/issues/7793